CoqInE

swMATH31998MaRDI QIDQ43709FDOQ43709

Author name not available (Why is that?)

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
• Title not available (Why is that?)

This page was built for software: CoqInE