Automated reasoning service for HOL Light
From MaRDI portal
Publication:2843009
Recommendations
Cited in
(8)- Towards Knowledge Management for HOL Light
- Sharing HOL4 and HOL Light proof knowledge
- MizAR 40 for Mizar 40
- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted theorem proving with millions of lemmas
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- The 11th IJCAR automated theorem proving system competition – CASC-J11
- PRocH: proof reconstruction for HOL Light
Describes a project that uses
Uses Software
This page was built for publication: Automated reasoning service for HOL Light
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843009)