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