Pages that link to "Item:Q485842"
From MaRDI portal
The following pages link to Learning-assisted theorem proving with millions of lemmas (Q485842):
Displaying 7 items.
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
