Bibliothèques écrites en Isabelle
marlowe
Implémentation d'un prototype de langage spécifique à un domaine pour la conception de contrats intelligents sur des crypto-monnaies.
- 164
- Apache License 2.0
isabelle-lambda-calculus
Une définition formelle et une vérification du système F. À étendre au système Fc.
- 8
ouroboros-high-assurance
Mise en œuvre à haute assurance de la famille de protocoles Ouroboros.
- 0
- GNU General Public License v3.0