Cited in
(9)- A certified reduction strategy for homological image processing
- Algolib
- Coq/SSReflect
- Coq-Combi
- Zeta_3_Irrational
- A formal proof of the irrationality of \(\zeta(3)\)
- ML4PG in computer algebra verification
- Formalized linear algebra over elementary divisor rings in \textsc{Coq}
- A formal proof of Sasaki-Murao algorithm
This page was built for software: CoqEAL
