Beta

Program verification: the modulus function

Description:

Loading description...
Fundamentals
Theorem Proving

Stats:

CreatedMay 8, 2021
PublishedMay 8, 2021
Warriors Trained12
Total Skips2
Total Code Submissions1
Total Times Completed2
Lean Completions2
Total Stars0
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
5 kyu
Ad
Contributors
  • gihanm Avatar
  • monadius Avatar
Ad