PRocH
From MaRDI portal
swMATH10191MaRDI QIDQ22158FDOQ22158
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-38574-2_18
Cited In (14)
- Semi-intelligible Isar proofs from machine-generated proofs
- Automated Improving of Proof Legibility in the Mizar System
- MizAR 40 for Mizar 40
- AGORA
- Automated reasoning service for HOL Light
- Network Security Policy Verification
- Regular_Algebras
- Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings
- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted theorem proving with millions of lemmas
- Formal mathematics on display: a wiki for Flyspeck
- A vernacular for coherent logic
- Hammer for Coq: automation for dependent type theory
- Hammering towards QED
This page was built for software: PRocH
