औपचारिक प्रमाणों का संग्रह प्रमेय सिद्धकर्ता इसाबेल में यांत्रिक रूप से जांचे गए प्रूफ पुस्तकालयों, उदाहरणों और बड़े scientifc विकास का संग्रह है। यह एक वैज्ञानिक पत्रिका के रास्ते में आयोजित किया जाता है। प्रस्तुतियां रेफरी हैं।
संस्करण इतिहास
- विवरण afp-Isabelle2011 पर तैनात 2011-04-03
कई सुधार और अपडेट - विवरण afp-Isabelle2011 पर तैनात 2011-04-03
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: afp.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 2011
- मंच: linux