CoqInE

swMATH31998MaRDI QIDQ43709FDOQ43709

Author name not available (Why is that?)

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

Cited In (4)

• First-order automated reasoning with theories: when deduction modulo theory meets practice
• 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