Bibliothèques écrites en Dafny

eth2.0-dafny

  • 51
  • Apache License 2.0

daisy-nfsd

DaisyNFS est un serveur NFS vérifié à l'aide de Dafny et Perennial.
  • 12
  • MIT