Practal — Practical Logic

Designing (with) Precise Abstractions

🆕 Practal Flyweight
Flyweight Implementation of Abstraction Logic in TypeScript.

🆕 Abstraction Logic Is All You Need
Abstraction Logic for Artificial Intelligence Theorem Proving (AITP)
Accepted for Theorem Proving and Machine Learning in the age of LLMs.

🆕 A Conversation with Graham Priest About Abstraction Logic
A conversation about abstraction logic with Claude representing Graham Priest.

🆕 Abstraction Logic: The Book
A new foundation for reasoning, computing, and understanding.
Now available on Amazon, Leanpub and Gumroad!

🔊 Deep Dive into Abstraction Logic
A podcast, automatically generated from the book using NotebookLM.

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

Recursive teXt
A new general-purpose text format.

Practal on Github

Would you like to know more?

Hi@practal.com