The following pages link to CoqHammer (Q41110):
Displaying 18 items.
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings (Q1653699) (← links)
- Concrete semantics with Coq and CoqHammer (Q1798946) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Relaxed weighted path order in theorem proving (Q2209265) (← links)
- The Coq library as a theory graph (Q2287907) (← links)
- A plugin to export Coq libraries to XML (Q2287917) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Deepalgebra -- an outline of a program (Q2364671) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- (Q5109521) (← links)
- (Q5111310) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Superposition with lambdas (Q5919500) (← links)