Paperproof

Paperproof ♥️ Semantic Tableaux

Paperproof ♥️ Natural Deduction

Paperproof ⚔️ Lean's #explode

Paperproof's Architecture

[WIP] InfoTree Anatomy

Can Paperproof render proof terms?

How to make my Lean repo work in Github Codespaces?