The following pages link to PRocH (Q22158):
Displaying 9 items.
- 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)
- Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings (Q1953299) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Automated Reasoning Service for HOL Light (Q2843009) (← links)
- Formal Mathematics on Display: A Wiki for Flyspeck (Q2843012) (← links)
- Hammering towards QED (Q5195271) (← links)
