Home

NASSLLI 22 的一些东西 还有HOM workshop(Call for paper一栏列了很多intro articles)

JF叫我暑假看看这个 也该填这个坑了

囤一囤各种有不同重点的logic课

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

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

在梅德福的第二年（？）

在梅德福的第一年。

先秦哲学课程内容整理 授课老师：孟庆楠