Picture for Zarathustra Goertzel

Zarathustra Goertzel

Czech Technical University in Prague

MizAR 60 for Mizar 50

Add code
Mar 12, 2023
Viaarxiv icon

Fast and Slow Enigmas and Parental Guidance

Add code
Jul 14, 2021
Figure 1 for Fast and Slow Enigmas and Parental Guidance
Figure 2 for Fast and Slow Enigmas and Parental Guidance
Figure 3 for Fast and Slow Enigmas and Parental Guidance
Figure 4 for Fast and Slow Enigmas and Parental Guidance
Viaarxiv icon

ENIGMAWatch: ProofWatch Meets ENIGMA

Add code
May 23, 2019
Figure 1 for ENIGMAWatch: ProofWatch Meets ENIGMA
Figure 2 for ENIGMAWatch: ProofWatch Meets ENIGMA
Figure 3 for ENIGMAWatch: ProofWatch Meets ENIGMA
Figure 4 for ENIGMAWatch: ProofWatch Meets ENIGMA
Viaarxiv icon

ProofWatch: Watchlist Guidance for Large Theories in E

Add code
May 19, 2018
Figure 1 for ProofWatch: Watchlist Guidance for Large Theories in E
Figure 2 for ProofWatch: Watchlist Guidance for Large Theories in E
Figure 3 for ProofWatch: Watchlist Guidance for Large Theories in E
Figure 4 for ProofWatch: Watchlist Guidance for Large Theories in E
Viaarxiv icon