Paperproof: Diagram for Every Lean Theorem

2 points | by charlie42 4 hours ago