Loading Verified list maximum
6 kyu
Loading Verified list maximum
6 kyu
Verified list maximum
31 of 45donaldsebleung
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
Loading description...
Theorem Proving
Fundamentals