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.34.0.
theorem solution : 1 + 1 = 2 := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 927 | bluerini | 2026-10-15T17:59 | PASSED ⓘ |
| 926 | bluerini | 2026-10-15T17:59 | Template mismatch ⓘ |
| 925 | Cywohoy | 2026-10-15T17:34 | PASSED ⓘ |
| 819 | SaldanhaGA | 2026-09-24T17:09 | PASSED ⓘ |
| 813 | 998244353 | 2026-09-22T03:34 | PASSED ⓘ |
| 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 ⓘ |