Paperproof: Diagram for Every Lean Theorem

 (paperproof.xyz)

2 points | by charlie42 4 hours ago ago

No comments yet.