Knjižnice, napisane v Isabelle u

l4v

specifikacija seL4 in dokazila.
  • 464
  • GNU General Public License v3.0

marlowe

Prototip implementacije domensko specifičnega jezika za oblikovanje pametnih pogodb prek kriptovalut.
  • 164
  • Apache License 2.0

cogent

Kogentni projekt.
  • 154
  • GNU General Public License v3.0

tangentlabs

veliko mini eksperimentov v različnih jezikih.
  • 38

sortnetopt

Nižje meje velikosti za razvrščanje omrežij.
  • 38

WasmCert-Isabelle

Mehanizacija Wasma v Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Formalna definicija in preverjanje sistema F. Za razširitev na sistem Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Izvedba družine protokolov Ouroboros z visoko zanesljivostjo.
  • 0
  • GNU General Public License v3.0