2025
an archive of posts from this year
| 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 |
an archive of posts from this year
| 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 |