Βιβλιοθήκες γραμμένες σε Isabelle

l4v

Προδιαγραφές και αποδείξεις seL4.
  • 464
  • GNU General Public License v3.0

marlowe

Πρωτότυπο υλοποίηση γλώσσας συγκεκριμένης περιοχής για το σχεδιασμό έξυπνων συμβάσεων σε κρυπτονομίσματα.
  • 164
  • Apache License 2.0

cogent

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

tangentlabs

πολλά μίνι πειράματα σε διάφορες γλώσσες.
  • 38

sortnetopt

Όρια χαμηλότερου μεγέθους για δίκτυα ταξινόμησης.
  • 38

WasmCert-Isabelle

Μια μηχανοποίηση του Wasm στην Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Επίσημος ορισμός και επαλήθευση του System F. Θα επεκταθεί στο System Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Υψηλής αξιοπιστίας εφαρμογή της οικογένειας πρωτοκόλλων Ouroboros.
  • 0
  • GNU General Public License v3.0