Kata Training

Loading Resolving the Goldbach conjecture! (Part 2)

Beta

Loading Resolving the Goldbach conjecture! (Part 2)

Beta

Resolving the Goldbach conjecture! (Part 2)

11b-mehta1 Issue Reported

Language

Lean
Language Version

- VIM
- EMACS

Loading description...

Debugging

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit