Loading A random fact about filtering
7 kyu
Loading A random fact about filtering
7 kyu
A random fact about filtering
88 of 125donaldsebleung
-
Language
- Coq
- Idris (Beta)
- Lean
-
Language Version
Loading description...
Theorem Proving
Puzzles