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.28.0_.
theorem solution : 1 + 1 = 2 := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 353 | lethan3 | 2026-03-04T11:26 | PASSED ⓘ |
| 346 | kind | 2026-03-03T17:29 | PASSED ⓘ |
| 345 | kind | 2026-03-03T17:29 | PASSED ⓘ |
| 344 | kind | 2026-03-03T17:29 | Compilation error ⓘ |
| 330 | tanakh | 2026-03-03T10:21 | PASSED ⓘ |
| 327 | cheat_when_I_was_young | 2026-03-03T03:19 | PASSED ⓘ |
| 325 | alesl0 | 2026-03-02T23:26 | PASSED ⓘ |
| 311 | Otabek_Aynazarov | 2026-03-01T05:06 | Rejected ⓘ |
| 307 | RDFZchenyy | 2026-03-01T01:34 | PASSED ⓘ |
| 306 | RDFZchenyy | 2026-03-01T01:33 | Compilation error ⓘ |