PRocH
From MaRDI portal
Software:22158
No author found.
Related Items (11)
MizAR 40 for Mizar 40 ⋮ Semi-intelligible Isar proofs from machine-generated proofs ⋮ Hammer for Coq: automation for dependent type theory ⋮ Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ HOL(y)Hammer: online ATP service for HOL Light ⋮ Automated Improving of Proof Legibility in the Mizar System ⋮ A Vernacular for Coherent Logic ⋮ Automated Reasoning Service for HOL Light ⋮ Formal Mathematics on Display: A Wiki for Flyspeck ⋮ Hammering towards QED
This page was built for software: PRocH
