8 kyu
Fermat was wrong
Description:
Fermat was wrong
This Kata was generously donated by Prof. Kevin Buzzard of Imperial College London (@kbuzzard on Codewars).
... Yep, you read that right. Fermat once conjectured that 2^2^n + 1 was always prime. Now you're gonna prove him wrong.
Preloaded
The full source code of Preloaded.lean is displayed below for your reference:
import data.nat.prime
def SUBMISSION := ¬ (∀ n : ℕ, nat.prime (2^2^n + 1))
notation `SUBMISSION` := SUBMISSION
Mathematics
Theorem Proving
Fundamentals
Similar Kata:
Stats:
| Created | Apr 6, 2020 |
| Published | Apr 6, 2020 |
| Warriors Trained | 376 |
| Total Skips | 19 |
| Total Code Submissions | 280 |
| Total Times Completed | 80 |
| Lean Completions | 80 |
| Total Stars | 1 |
| % of votes with a positive feedback rating | 94% of 18 |
| Total "Very Satisfied" Votes | 17 |
| Total "Somewhat Satisfied" Votes | 0 |
| Total "Not Satisfied" Votes | 1 |
| Total Rank Assessments | 3 |
| Average Assessed Rank | 8 kyu |
| Highest Assessed Rank | 8 kyu |
| Lowest Assessed Rank | 8 kyu |
