Kata Training

Loading One small step for a man, one giant leap for mankind

Beta

Loading One small step for a man, one giant leap for mankind

Beta

One small step for a man, one giant leap for mankind

7donaldsebleung

Language

Coq
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Puzzles

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit