Tufts 23 Fall
这个学期很累但是有很多正反馈(总比上个学期好🚬) 感觉上的几门课都很适合我扒人体质
现在先把页面创建了然后慢慢放扒到的各种东西,,
这个学期总感觉啥都没干时间就没了 最大的后悔是没去上Loring Tu最后一次开在tufts开manifolds(希望有朝一日可以抱着他的UTX好好读完吧)
Galois Connection between Syntax and Semantics
Peter Fritz intro to propositional quantifiers里提到的 有点想去WG上讲
(Update (Jun 18 2023): 最后在DRP讲了!)
28 post articles, 4 pages.