6 kyu

New induction scheme on integers

26 of 50kckennylau

Description:

Loading description...
Fundamentals

Stats:

CreatedMay 6, 2020
PublishedMay 6, 2020
Warriors Trained201
Total Skips17
Total Code Submissions57
Total Times Completed50
Lean Completions26
Coq Completions27
Total Stars2
% of votes with a positive feedback rating95% of 10
Total "Very Satisfied" Votes9
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
6 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
7 kyu
Ad
Contributors
  • kckennylau Avatar
  • donaldsebleung Avatar
Ad