next up previous
Next: About this document ... Up: Automated Reasoning for Mizar Previous: Future

Thanks for your attention!


Josef Urban 2011-01-14