The following pages link to Lemma Mining over HOL Light (Q2870150):
Displayed 5 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Matching Concepts across HOL Libraries (Q5495929) (← links)