Picture for Piotr Rudnicki

Piotr Rudnicki

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
Viaarxiv icon