Explicit exact certificates improving the known admissible lower bound for the Belgian Chocolate Problem.
-
Updated
Sep 15, 2026 - Python
#
belgian-chocolate-problem
Here are 2 public repositories matching this topic...
Experimental formalization and algorithmic investigation of the Belgian Chocolate threshold, including computability-oriented constructions and endpoint analysis. Not a complete solution of the original Belgian Chocolate Problem.
theorem-proving threshold formal-verification control-theory robust-control mathlib computer-assisted-proof computability lean4 certified-computation belgian-chocolate-problem simultaneous-stabilization
-
Updated
Sep 15, 2026 - Lean
Add this topic to your repo
To associate your repository with the belgian-chocolate-problem topic, visit your repo's landing page and select "manage topics."