Knižnice napísané v Dafny e

evm-dafny

Tlmočník EVM v Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Špecifikácia Eth2.0 v Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS je NFS server overený pomocou Dafny a Perennial..
  • 21
  • MIT