Beta

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

00100% of 24ice1000
Loading description...
Fundamentals
Theorem Proving
Functional Programming
Declarative Programming

Similar Kata:

Status:Testing & feedback needed
Estimated Rank:
6 kyu
Status:Testing & feedback needed
Estimated Rank:
1 kyu
Status:Testing & feedback needed
Estimated Rank:
5 kyu
1984687% of 2871,346g964

Stats:

CreatedJun 9, 2021
PublishedJun 9, 2021
Warriors Trained17
Total Skips0
Total Code Submissions5
Total Times Completed4
Lean Completions4
Total Stars0
% of votes with a positive feedback rating100% of 2
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
7 kyu
Highest Assessed Rank
7 kyu
Lowest Assessed Rank
8 kyu