Librerie scritte in Isabelle

l4v

specifica e dimostrazioni di seL4.
  • 464
  • GNU General Public License v3.0

marlowe

Implementazione del prototipo del linguaggio specifico del dominio per la progettazione di contratti intelligenti su criptovalute.
  • 164
  • Apache License 2.0

cogent

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

tangentlabs

  • 38

sortnetopt

Limiti di dimensioni inferiori per reti di ordinamento.
  • 38

WasmCert-Isabelle

Una meccanizzazione di Wasm in Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Una definizione e verifica formale del Sistema F. Da estendere al Sistema Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Implementazione ad alta sicurezza della famiglia di protocolli Ouroboros.
  • 0
  • GNU General Public License v3.0