Practal — Practical Logic
Empowering Your Vision through Precision:
Designing with 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.
Practal on Github
Would you like to know more?
Hi@practal.com
Practal on Github