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.33.0.
theorem solution : 1 + 1 = 2 := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 808 | luluka | 2026-08-13T14:27 | PASSED ⓘ |
| 807 | luluka | 2026-08-13T14:26 | Compilation error ⓘ |
| 806 | bribritt | 2026-08-02T08:49 | PASSED ⓘ |
| 795 | syl | 2026-07-19T12:31 | PASSED ⓘ |
| 794 | sennenki | 2026-07-18T18:17 | PASSED ⓘ |
| 793 | sennenki | 2026-07-18T18:16 | Compilation error ⓘ |
| 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 ⓘ |