5 kyu

EM implies LPO, LPO implies LLPO

48 of 63solitude

Description:

Loading description...
Theorem Proving
Mathematics
Logic
Algorithms

Similar Kata:

Stats:

CreatedApr 26, 2019
PublishedApr 26, 2019
Warriors Trained129
Total Skips8
Total Code Submissions88
Total Times Completed63
Coq Completions48
Agda Completions17
Total Stars4
% of votes with a positive feedback rating96% of 14
Total "Very Satisfied" Votes13
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