Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

Add code
May 25, 2010
Figure 1 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Figure 2 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Figure 3 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Figure 4 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: