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 Trained226
Total Skips3
Total Code Submissions62
Total Times Completed45
Lean Completions45
Total Stars0
% of votes with a positive feedback rating100% of 12
Total "Very Satisfied" Votes12
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
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