Pages that link to "Item:Q4928443"
From MaRDI portal
The following pages link to PRocH: Proof Reconstruction for HOL Light (Q4928443):
Displaying 6 items.
- PRocH (Q22158) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
