2 kyu

EM implies LPO, LPO implies LLPO

3292% of 622 of 25solitude
Details
Solutions
Discourse (2)
  • |
  • Share this kata:
Loading description...
Algorithms
Theorem Proving
Mathematics
Numbers

These users have contributed to this kata:

Similar Kata:

Status:Waiting for issues to be resolved
Estimated Rank:
6 kyu
Status:Testing & feedback needed
Estimated Rank:
6 kyu

Other Kata Authored By solitude:

10100% of 24solitude
Status:Testing & feedback needed
Estimated Rank:
3 kyu
20100% of 34solitude
Status:Ranking feedback needed
Estimated Rank:
5 kyu
10100% of 24solitude
Status:Testing & feedback needed
Estimated Rank:
3 kyu
10100% of 65solitude
Status:Ranking feedback needed
Estimated Rank:
1 kyu

Stats:

CreatedApr 26, 2019
PublishedApr 26, 2019
Warriors Trained52
Total Skips0
Total Code Submissions26
Total Times Completed25
Coq Completions22
Agda Completions4
Total Stars3
% of votes with a positive feedback rating92% of 6
Total "Very Satisfied" Votes5
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
2 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
4 kyu