numbers
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 |
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 |