Knižnice napísané v Isabelle e

l4v

seL4 špecifikácia a dôkazy.
  • 464
  • GNU General Public License v3.0

marlowe

Prototypová implementácia doménovo špecifického jazyka pre návrh inteligentných zmlúv o kryptomenách.
  • 164
  • Apache License 2.0

cogent

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

tangentlabs

veľa mini experimentov v rôznych jazykoch.
  • 38

sortnetopt

Nižšie hranice veľkosti pre siete na triedenie.
  • 38

WasmCert-Isabelle

Mechanizácia Wasm v Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Formálna definícia a overenie systému F. Rozšíri sa na systém Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementácia rodiny protokolov Ouroboros s vysokým zabezpečením.
  • 0
  • GNU General Public License v3.0