5 kyu

EM implies LPO, LPO implies LLPO

60 of 79solitude

Description:

Loading description...
Theorem Proving
Mathematics
Logic
Algorithms

Stats:

CreatedApr 26, 2019
PublishedApr 26, 2019
Warriors Trained163
Total Skips9
Total Code Submissions112
Total Times Completed79
Coq Completions60
Agda Completions21
Total Stars6
% of votes with a positive feedback rating98% of 20
Total "Very Satisfied" Votes19
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
Ad
Contributors
  • solitude Avatar
  • lolisa Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • monadius Avatar
Ad