Библиотеки, написани на Isabelle

l4v

seL4 спецификация и доказателства.
  • 464
  • GNU General Public License v3.0

marlowe

Прототипно внедряване на специфичен за домейн език за проектиране на интелигентни договори върху криптовалути.
  • 164
  • Apache License 2.0

cogent

Убедителен проект.
  • 154
  • GNU General Public License v3.0

tangentlabs

много мини експерименти на различни езици.
  • 38

sortnetopt

По-ниски граници на размера за сортиране на мрежи.
  • 38

WasmCert-Isabelle

Механизация на Wasm в Isabelle..
  • 17
  • BSD 2-clause "Simplified"

isabelle-lambda-calculus

Официална дефиниция и проверка на Система F. Да се ​​разшири до Система Fc.
  • 8

Lambda-RAM-Compiler

  • 2

ouroboros-high-assurance

Изпълнение с висока степен на сигурност на фамилията протоколи Ouroboros.
  • 0
  • GNU General Public License v3.0