8 kyu

Voile's question: ∀ (n : ℕ), 1 = 2 * n -> false

Description:

Loading description...
Theorem Proving
Functional Programming
Fundamentals

Stats:

CreatedJun 9, 2021
PublishedJun 9, 2021
Warriors Trained245
Total Skips3
Total Code Submissions71
Total Times Completed47
Lean Completions47
Total Stars0
% of votes with a positive feedback rating92% of 13
Total "Very Satisfied" Votes12
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes1
Total Rank Assessments4
Average Assessed Rank
7 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • ice1000 Avatar
  • monadius Avatar
Ad