PRocH

swMATH10191MaRDI QIDQ22158FDOQ22158

Author name not available (Why is that?)

Described by source

• PRocH: Proof Reconstruction for HOL Light

Cited In (11)

• Formal Mathematics on Display: A Wiki for Flyspeck
• Semi-intelligible Isar proofs from machine-generated proofs
• Automated Improving of Proof Legibility in the Mizar System
• MizAR 40 for Mizar 40
• A Vernacular for Coherent Logic
• 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
• Automated Reasoning Service for HOL Light
• Hammer for Coq: automation for dependent type theory
• Hammering towards QED

This page was built for software: PRocH