Perpustakaan yang ditulis dalam Isabelle

l4v

spesifikasi dan bukti seL4.
  • 464
  • GNU General Public License v3.0

marlowe

Implementasi prototipe bahasa khusus domain untuk desain kontrak pintar atas mata uang kripto.
  • 164
  • Apache License 2.0

cogent

Proyek Cogent.
  • 154
  • GNU General Public License v3.0

tangentlabs

banyak percobaan mini dalam berbagai bahasa.
  • 38

sortnetopt

Batas Ukuran Lebih Rendah untuk Menyortir Jaringan.
  • 38

WasmCert-Isabelle

Mekanisasi Wasm di Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Definisi formal dan verifikasi Sistem F. Untuk diperluas ke Sistem Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementasi jaminan tinggi dari keluarga protokol Ouroboros.
  • 0
  • GNU General Public License v3.0