Loading New induction scheme on integers
6 kyu
Loading New induction scheme on integers
6 kyu
New induction scheme on integers
27 of 50kckennylau
-
Language
- Coq
- Lean
-
Language Version
Loading description...
Fundamentals