rfl
Prove that $1 + 1 = 2$. Hint: use `rfl`.
Replace sorry in the template below with your solution.
Mathlib version used by the checker is v4.29.0.
theorem solution : 1 + 1 = 2 := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 464 | pentaquark | 2026-05-23T10:16 | PASSED ⓘ |
| 463 | pentaquark | 2026-05-23T10:16 | Compilation error ⓘ |
| 462 | Untitled_unrevised | 2026-05-22T01:16 | PASSED ⓘ |
| 429 | CutSandstone | 2026-04-14T02:32 | PASSED ⓘ |
| 428 | CutSandstone | 2026-04-14T02:32 | Compilation error ⓘ |
| 412 | touhoubaursak | 2026-04-10T01:10 | PASSED ⓘ |
| 411 | Rin | 2026-04-07T15:36 | PASSED ⓘ |
| 409 | hsj2125 | 2026-04-06T06:12 | PASSED ⓘ |
| 408 | StablestCobra8 | 2026-04-03T15:23 | PASSED ⓘ |
| 403 | hbghlyj | 2026-04-02T18:18 | PASSED ⓘ |