Perpustakaan yang ditulis dalam Isabelle

l4v

  • 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

  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

  • 0
  • GNU General Public License v3.0