Pages that link to "Item:Q4928443"
From MaRDI portal
The following pages link to PRocH: Proof Reconstruction for HOL Light (Q4928443):
Displayed 8 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)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)