CoqInE

MaRDI QIDQ43709swMATHFDO

Official website https://github.com/Deducteam/CoqInE

Source code repository https://github.com/Deducteam/CoqInE

Cited in

(12)

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

This page was built for software: CoqInE