Practal — Practical Logic

Designing with Precise Abstractions

Practal has its first monthly sponsor, many thanks to purebounce! 🎉

🆕 Abstraction Logic: The Video Series
A high-level introduction to abstraction logic, presented as a series of five videos.

🆕 Abstraction Logic: The Book
A new foundation for reasoning, computing, and understanding.

🆕 Recursive teXt
A new general-purpose text format.

Would you like to know more?

Hi@practal.com