7 kyu

If n is even, then (n/2-1)*2 = n-2

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedJun 20, 2020
PublishedJun 20, 2020
Warriors Trained121
Total Skips11
Total Code Submissions64
Total Times Completed42
Lean Completions42
Total Stars1
% of votes with a positive feedback rating94% of 9
Total "Very Satisfied" Votes8
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
7 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • user8436785 Avatar
  • monadius Avatar
Ad