Executable arithmetic topology: named number-theory theorems verified from scratch in C++, dual-implementation and oracle-refereed
cpp verification riemann-zeta number-theory computational-number-theory pari-gp quadratic-reciprocity arithmetic-topology
-
Updated
Jul 20, 2026 - C++