Loading Two definitions of Fibonacci words
7 kyu
Loading Two definitions of Fibonacci words
7 kyu
Two definitions of Fibonacci words
42 of 68lambda-fairy
-
Language
- Coq
- Lean
-
Language Version
Loading description...
Theorem Proving
Fundamentals