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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: