Coq-Combi

MaRDI QIDQ53570swMATHFDO

Official website https://github.com/hivert/Coq-Combi

Source code repository https://github.com/hivert/Coq-Combi

Cited in

(8)

• Lyndon words
• Combinatorics_Words
• Szpilrajn Extension
• Lyndon words formalized in Isabelle/HOL
• CoqEAL
• Algolib
• Zeta_3_Irrational
• A formal proof of the irrationality of \(\zeta(3)\)

This page was built for software: Coq-Combi