Home

Verification

在Dafny之后又扒了一些新的东西 感觉以前FP的页面不太适合塞这些内容了 再开个页面囤一囤东西

Read more

Dafny

关于Dafny的资料 最近在学Dafny,一种可以验证自己的程序语言。本来在rise4fun.com有教学资源,但是现在网站挂了(Waterloo fork了一个网站)在这里囤一下相关的学习材料和笔记。

Read more