formalization,
an archive of posts with this tag
| Jun 11, 2025 | Formalizing Length Functions in Coding Theory |
|---|---|
| Jun 5, 2025 | Using numbers, real numbers, in Lean |
| May 20, 2025 | Induction and rfl |
an archive of posts with this tag
| Jun 11, 2025 | Formalizing Length Functions in Coding Theory |
|---|---|
| Jun 5, 2025 | Using numbers, real numbers, in Lean |
| May 20, 2025 | Induction and rfl |