2025
an archive of posts from this year
| Jul 14, 2025 | rintro and A ≠ B |
|---|---|
| Jul 7, 2025 | Understanding the Suffices Tactic in Lean |
| Jun 30, 2025 | Vibe coding |
| Jun 11, 2025 | Formalizing Length Functions in Coding Theory |
| Jun 5, 2025 | Using numbers, real numbers, in Lean |
| May 20, 2025 | Induction and rfl |
| May 18, 2025 | Lean snippets |