用Dafny编写和验证的编译器
A compiler written and verified in Dafny (2024-03-07, Dafny, 0KB, 下载0次)
DaisyNFS是使用Dafny和Perennial验证的NFS服务器。
DaisyNFS is an NFS server verified using Dafny and Perennial. (2024-01-12, Dafny, 0KB, 下载0次)
Dafny编译器的在制品重新实现，在Dafny中，
A work-in-progress reimplementation of Dafny s compiler, in Dafny, (2023-01-01, Dafny, 0KB, 下载0次)