مكتبات مكتوبة بلغة Isabelle

l4v

المواصفات والبراهين seL4.
  • 464
  • GNU General Public License v3.0

marlowe

تنفيذ نموذج أولي للغة خاصة بالمجال لتصميم العقود الذكية على العملات المشفرة.
  • 164
  • Apache License 2.0

cogent

مشروع مقنع.
  • 154
  • GNU General Public License v3.0

tangentlabs

الكثير من التجارب المصغرة بلغات مختلفة.
  • 38

sortnetopt

حدود حجم أصغر لفرز الشبكات.
  • 38

WasmCert-Isabelle

مكننة الواسم في إيزابيل..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

تعريف رسمي والتحقق من النظام F. يمتد إلى System Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

تنفيذ عالي التأكيد لعائلة بروتوكول Ouroboros.
  • 0
  • GNU General Public License v3.0