Isabelle ben írt könyvtárak

l4v

seL4 specifikáció és bizonyítékok.
  • 464
  • GNU General Public License v3.0

marlowe

Domainspecifikus nyelv prototípus-megvalósítása kriptovalutákon alapuló intelligens szerződések tervezésére.
  • 164
  • Apache License 2.0

cogent

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

tangentlabs

sok mini kísérlet különböző nyelveken.
  • 38

sortnetopt

Alacsonyabb mérethatárok a hálózatok rendezéséhez.
  • 38

WasmCert-Isabelle

A Wasm gépesítése Isabelle-ben..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Az F rendszer formális meghatározása és ellenőrzése. Ki kell terjeszteni az Fc rendszerre.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Az Ouroboros protokollcsalád magas szintű megvalósítása.
  • 0
  • GNU General Public License v3.0