Reference implementations of discrete modulus algorithms, with an accompanying book.
python cpp graph-algorithms optimization jupyter-notebook proof-assistant graph-theory lean formal-verification cvxpy convex-optimization quarto boost-graph lean4 convex-duality
-
Updated
Sep 3, 2026 - Lean