6 kyu

Drinker paradox

29 of 113yuxuanchiadm

Description:

Loading description...
Fundamentals
Theorem Proving
Mathematics

Similar Kata:

More By Author:

Check out these other kata created by yuxuanchiadm

Stats:

CreatedFeb 7, 2020
PublishedFeb 7, 2020
Warriors Trained336
Total Skips31
Total Code Submissions165
Total Times Completed113
Agda Completions29
Coq Completions46
Lean Completions47
Total Stars5
% of votes with a positive feedback rating98% of 23
Total "Very Satisfied" Votes22
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
Ad
Contributors
  • yuxuanchiadm Avatar
  • dramforever Avatar
  • donaldsebleung Avatar
  • Voile Avatar
Ad