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