Header-only C++20 library for arithmetic in ℤ₂[[t]]: carry chains, formal derivatives, forward differences, Witt vectors, basis conversions, power series composition/reversion — with compile-time verified proofs
c-plus-plus constexpr template-metaprogramming power-series number-theory 2-adic c-plus-plus-20 operator-calculus witt-vectors
-
Updated
Jun 7, 2026 - C++