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.31.0.
theorem solution : 1 + 1 = 2 := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 785 | darkkcyan | 2026-06-26T08:58 | PASSED ⓘ |
| 487 | llm_solver | 2026-06-05T12:30 | PASSED ⓘ |
| 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 ⓘ |