formalization,
an archive of posts with this tag
| Jul 14, 2025 | rintro and A ≠ B |
|---|---|
| Jul 7, 2025 | Understanding the Suffices Tactic in Lean |
| Jun 11, 2025 | Formalizing Length Functions in Coding Theory |
| Jun 5, 2025 | Using numbers, real numbers, in Lean |
| May 20, 2025 | Induction and rfl |