6 kyu

Drinker paradox

3097% of 1519 of 81yuxuanchiadm
Loading description...
Theorem Proving
Mathematical Logic

These users have contributed to this kata:

Similar Kata:

5172% of 2346GiacomoSorbi
Status:Testing & feedback needed
Estimated Rank:
7 kyu
10100% of 26Voile
Status:Testing & feedback needed
Estimated Rank:
4 kyu
Status:Waiting for issues to be resolved
Estimated Rank:
5 kyu

Other Kata Authored By yuxuanchiadm:


CreatedFeb 7, 2020
PublishedFeb 7, 2020
Warriors Trained237
Total Skips17
Total Code Submissions115
Total Times Completed81
Agda Completions19
Coq Completions32
Lean Completions35
Total Stars3
% of votes with a positive feedback rating97% of 15
Total "Very Satisfied" Votes14
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
6 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
7 kyu