Kata Training

Loading Nat in the mirror: "Not finite" implies "Infinite"

5 kyu

Loading Nat in the mirror: "Not finite" implies "Infinite"

5 kyu

Nat in the mirror: "Not finite" implies "Infinite"

Language

Coq
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Mathematics

Algorithms

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit