Propriétaire · Paper-Proof
Paper-Proof
Dépôts open source suivis de Paper-Proof, triés par étoiles.
1 dépôt
- #1
Interface de démonstration de théorèmes Lean offrant une expérience similaire aux preuves papier.
★ 545+3Évolution des étoiles sur les 7 derniers jours
