द्वारा कार्यक्रम afp.sf.net

औपचारिक प्रमाणों का संग्रह प्रमेय सिद्धकर्ता इसाबेल में यांत्रिक रूप से जांचे गए प्रूफ पुस्तकालयों, उदाहरणों और बड़े scientifc विकास का संग्रह है। यह एक वैज्ञानिक पत्रिका के रास्ते में आयोजित किया जाता है। प्रस्तुतियां रेफरी