ATP and Presentation Service for Mizar Formalizations

Add code
Oct 09, 2012
Figure 1 for ATP and Presentation Service for Mizar Formalizations
Figure 2 for ATP and Presentation Service for Mizar Formalizations

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: