Knihovny napsané v Isabelle u

l4v

seL4 specifikace a důkazy.
  • 464
  • GNU General Public License v3.0

marlowe

Prototypová implementace doménově specifického jazyka pro návrh chytrých smluv nad kryptoměnami.
  • 164
  • Apache License 2.0

cogent

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

tangentlabs

spousta mini experimentů v různých jazycích.
  • 38

sortnetopt

Nižší hranice velikosti pro sítě řazení.
  • 38

WasmCert-Isabelle

Mechanizace Wasmu v Isabelle...
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Formální definice a ověření systému F. Bude rozšířeno na systém Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementace rodiny protokolů Ouroboros s vysokou jistotou.
  • 0
  • GNU General Public License v3.0