Paper-Proof/paperproof
@Paper-ProofAntarmuka pembuktian teorema Lean yang terasa seperti pembuktian dengan pena dan kertas.
Bintang
545
Fork
18
Bahasa
TypeScript
Lisensi
MIT
Push terakhir
3 hari yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.