Beta

But WHY is LEM unprovable?

21100% of 34dramforever
Loading description...
Fundamentals
Theorem Proving

These users have contributed to this kata:

Similar Kata:

0067% of 68
Status:Testing & feedback needed
Estimated Rank:
7 kyu
00100% of 25Voile
Status:Testing & feedback needed
Estimated Rank:
4 kyu

Other Kata Authored By dramforever:

21100% of 12dramforever
Status:Testing & feedback needed
Estimated Rank:
3 kyu
60100% of 16dramforever
Status:Testing & feedback needed
Estimated Rank:
2 kyu

Stats:

CreatedFeb 6, 2020
PublishedFeb 6, 2020
Warriors Trained20
Total Skips2
Total Code Submissions4
Total Times Completed4
Coq Completions4
Lean Completions2
Total Stars2
% of votes with a positive feedback rating100% of 3
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
5 kyu