Bibliotecas escritas en Isabelle

l4v

especificación y pruebas seL4.
  • 464
  • GNU General Public License v3.0

marlowe

Prototipo de implementación de lenguaje específico de dominio para el diseño de contratos inteligentes sobre criptomonedas.
  • 164
  • Apache License 2.0

cogent

Proyecto contundente.
  • 154
  • GNU General Public License v3.0

tangentlabs

muchos mini experimentos en varios idiomas.
  • 38

sortnetopt

Límites de tamaño inferior para clasificar redes.
  • 38

WasmCert-Isabelle

Una mecanización de Wasm en Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Una definición formal y verificación del Sistema F. Se extenderá al Sistema Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementación de alta seguridad de la familia de protocolos Ouroboros.
  • 0
  • GNU General Public License v3.0