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

Isabelle에서 Wasm의 기계화..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

System F의 공식적인 정의 및 검증. System Fc로 확장됩니다.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Ouroboros 프로토콜 제품군의 높은 보증 구현.
  • 0
  • GNU General Public License v3.0