Hypergraph dualization and symmetry: Fredman-Khachiyan algorithms, minimal transversals, and MSc thesis research with Lean 4 proofs and computational experiments.
python rust algorithms thesis combinatorics symmetry group-theory formal-verification hypergraphs mathlib lean4 hypergraph-dualization transversal-hypergraph fredman-khachiyan boolean-duality
-
Updated
Oct 31, 2026 - Lean