Các thư viện được viết bằng Isabelle

l4v

thông số kỹ thuật seL4 và bằng chứng.
  • 464
  • GNU General Public License v3.0

marlowe

Triển khai nguyên mẫu ngôn ngữ dành riêng cho miền để thiết kế hợp đồng thông minh trên tiền điện tử.
  • 164
  • Apache License 2.0

cogent

Dự án Cogent
  • 154
  • GNU General Public License v3.0

tangentlabs

rất nhiều thí nghiệm nhỏ bằng nhiều ngôn ngữ khác nhau.
  • 38

sortnetopt

Giới hạn kích thước thấp hơn cho mạng phân loại.
  • 38

WasmCert-Isabelle

Cơ giới hóa Wasm ở Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Định nghĩa và xác minh chính thức của Hệ thống F. Được mở rộng cho Hệ thống Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Triển khai đảm bảo cao của họ giao thức Ouroboros.
  • 0
  • GNU General Public License v3.0