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

8 kyu

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

8 kyu

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

47ice1000
Loading description...
Theorem Proving
Functional Programming
Fundamentals
Your output will be shown here