Home Software Foundations JF叫我暑假看看这个 也该填这个坑了Read more PL May 12, 2022 Logic 囤一囤各种有不同重点的logic课Read more 杂 Apr 07, 2022 Verification 在Dafny之后又扒了一些新的东西 感觉以前FP的页面不太适合塞这些内容了 再开个页面囤一囤东西Read more PL Apr 07, 2022 Dafny 关于Dafny的资料 最近在学Dafny,一种可以验证自己的程序语言。本来在rise4fun.com有教学资源,但是现在网站挂了(Waterloo fork了一个网站)在这里囤一下相关的学习材料和笔记。Read more PL Mar 21, 2022 Tufts 22 Spring 在梅德福的第二年(?)Read more tufts Jan 23, 2022 Tufts 21 Fall 在梅德福的第一年。Read more tufts Sep 27, 2021 P大一年 我在P大一年的生活。Read more P大 Jul 02, 2021 2021春-先秦哲学 先秦哲学课程内容整理 授课老师:孟庆楠Read more 中哲 Apr 26, 2021 28 post articles, 4 pages. 1 2 3 4
Dafny 关于Dafny的资料 最近在学Dafny,一种可以验证自己的程序语言。本来在rise4fun.com有教学资源,但是现在网站挂了(Waterloo fork了一个网站)在这里囤一下相关的学习材料和笔记。Read more PL Mar 21, 2022