Biblioteker skrevet i Isabelle

l4v

seL4 specifikation og beviser.
  • 464
  • GNU General Public License v3.0

marlowe

Prototypeimplementering af domænespecifikt sprog til design af smart-kontrakter over kryptovalutaer.
  • 164
  • Apache License 2.0

cogent

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

tangentlabs

masser af minieksperimenter på forskellige sprog.
  • 38

sortnetopt

Lavere størrelsesgrænser for sortering af netværk.
  • 38

WasmCert-Isabelle

En mekanisering af Wasm i Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

En formel definition og verifikation af System F. Skal udvides til System Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementering af Ouroboros-protokolfamilien med høj sikkerhed.
  • 0
  • GNU General Public License v3.0