The following pages link to CoqInE (Q43709):
Displaying 5 items.
- (Q47703) (redirect page) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- The Coq library as a theory graph (Q2287907) (← links)
- (Q5219928) (← links)