An exact-first mathematical language and verification kernel for trustworthy computation — symbolic math, rigorous numerics, mathematical contract checking, and deterministic physics.
programming-language calculator calculus algebra math simple geometry numbers educational stem precision computerscience exact-arithmetic centl
-
Updated
Aug 12, 2026 - OCaml