2 ms·
"... Coq users have formalized a lot of mathematics in its language, but that work has been decentralized and unorganized ... mathlib contained 18,416 definit
by galaxyLogic 6y ago
"... Coq users have formalized a lot of mathematics in its language, but that work has been decentralized and unorganized
... mathlib contained 18,416 definitions and 38,315 theorems.
"