Pemilik · Paper-Proof
Paper-Proof
Repositori open source terpantau milik Paper-Proof, diurutkan berdasarkan bintang.
1 repositori
- #1
Antarmuka pembuktian teorema Lean yang terasa seperti pembuktian dengan pena dan kertas.
★ 545+3Perubahan bintang dalam 7 hari terakhir
