Cited in
(12)- First-order automated reasoning with theories: when deduction modulo theory meets practice
- scientific article; zbMATH DE number 7178363 (Why is no real title available?)
- Zenon
- BWare
- FoCaLiZe
- dedukti
- CoqMT
- HARP
- Focalide
- ArchSAT
- The Coq library as a theory graph
- Experiences from exporting major proof assistant libraries
This page was built for software: CoqInE
