5 kyu

EM implies LPO, LPO implies LLPO

3394% of 925 of 32solitude
Loading description...
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Other Kata Authored By solitude:

21100% of 45solitude
Status:Ranking feedback needed
Estimated Rank:
5 kyu
10100% of 35solitude
Status:Ranking feedback needed
Estimated Rank:
3 kyu


CreatedApr 26, 2019
PublishedApr 26, 2019
Warriors Trained82
Total Skips6
Total Code Submissions41
Total Times Completed32
Coq Completions25
Agda Completions8
Total Stars3
% of votes with a positive feedback rating94% of 9
Total "Very Satisfied" Votes8
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu