CoqInE
From MaRDI portal
Software:43709
Author name not available (Why is that?)
Source code repository: https://github.com/Deducteam/CoqInE
Related Items (4)
Title not available (Why is that?) ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ The Coq library as a theory graph ⋮ Experiences from exporting major proof assistant libraries
This page was built for software: CoqInE
