Paperproof: Diagram for Every Lean Theorem

(paperproof.xyz) by charlie42 | Nov 3, 2026 | 0 comments on HN