Beta

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

Details
Solutions
Discourse
  • |
  • Share this kata:
Loading description...
Puzzles
Theorem Proving

Stats:

CreatedJun 23, 2019
PublishedJun 23, 2019
Warriors Trained7
Total Skips0
Total Code Submissions4
Total Times Completed2
Coq Completions2
Total Stars1
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
1 kyu