ProofWatch: watchlist guidance for large theories in E

DOI10.1007/978-3-319-94821-8_16zbMath1435.68369arXiv1802.04007OpenAlexW3101395968MaRDI QIDQ1791167

Jan Jakubův, Stephan Schulz, Josef Urban, Zarathustra A. Goertzel

Publication date: 4 October 2018

Full work available at URL: https://arxiv.org/abs/1802.04007

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Fast and slow enigmas and parental guidance, ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\), Faster, higher, stronger: E 2.3, Proofwatch

Uses Software

• Isabelle/HOL
• MPTP 0.2
• OTTER
• VAMPIRE
• Mizar
• Prover9
• HOL
• Mace4
• MaLeCoP
• leanCoP
• E Theorem Prover
• BliStrTune
• FEMaLeCoP
• SEPIA
• DeepMath
• TacticToe
• ENIGMA