Communication dans un congrès, GALaC, Mathematics, Mathématiques
Machine Checked Proofs and Programs in Algebraic Combinatorics
Florent Hivert. Machine Checked Proofs and Programs in Algebraic Combinatorics. 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’25), Sandrine Blazy, Nicolas Tabareau, Kathrin Stark, Amin Timany, Jan 2025, Denver (Colorado), United States. pp.214 - 230, ⟨10.1145/3703595.3705885⟩. ⟨hal-05682976⟩
