用 Dafny 编写的库

Dafny 中的 EVM 解释器。

Dafny 中的 Eth2.0 规范。

DaisyNFS 是使用 Dafny 和 Perennial 验证的 NFS 服务器。