Blog
Longer posts on mathematics, formalisation, and the tools I build.
-
The core idea behind QuadraticNumberFields
The project separates quadratic fields into three layers: an abstract property, a categorical packaging, and the concrete coordinate model Qsqrtd d.