5 kyu

A bit of fun with proofs on inequalities

15 of 21solitude

Description:

Loading description...
Theorem Proving
Algorithms

Stats:

CreatedMar 28, 2019
PublishedMar 28, 2019
Warriors Trained109
Total Skips7
Total Code Submissions42
Total Times Completed21
Agda Completions15
Idris Completions7
Total Stars5
% of votes with a positive feedback rating94% of 8
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments7
Average Assessed Rank
5 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • solitude Avatar
  • monadius Avatar
Ad