Jekyll2026-10-29T18:24:16+00:00https://bryangingechen.github.io/CombinatorialRigidity/feed.xmlA Lean 4 / mathlib4 formalization of combinatorial rigidity theory, from Laman's theorem to the molecular conjecture and the pencil realization theorem.