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

Διερμηνέας EVM στο Dafny.

Προδιαγραφές Eth2.0 στο Dafny.

Ο DaisyNFS είναι ένας διακομιστής NFS που επαληθεύεται με χρήση Dafny και Perennial..