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