Bibliotecas escritas em Isabelle

l4v

especificação seL4 e provas.
  • 464
  • GNU General Public License v3.0

marlowe

Implementação de protótipo de linguagem específica de domínio para o design de contratos inteligentes sobre criptomoedas.
  • 164
  • Apache License 2.0

cogent

Projeto Cogente.
  • 154
  • GNU General Public License v3.0

tangentlabs

muitos mini experimentos em vários idiomas.
  • 38

sortnetopt

Limites de tamanho inferior para redes de classificação.
  • 38

WasmCert-Isabelle

Uma mecanização de Wasm em Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Uma definição formal e verificação do Sistema F. A ser estendida ao Sistema Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementação de alta garantia da família de protocolos Ouroboros.
  • 0
  • GNU General Public License v3.0