6260 Notes: Happy Dafny

6260 notes: nub,all_distinct,两种分岔,if型case split,member_nub

6 minute read Published: 2026-08-31

6260 notes: assert,非线性算术

4 minute read Published: 2026-08-31

6260 notes: lemma辅助终止,decreases,length_drop,chunks

4 minute read Published: 2026-08-31

Lab01,三大位置规则,datatype,match,requires/ensures

11 minute read Published: 2026-08-31

Lab02,手写归纳三件套,自动归纳,take/drop,二叉树

12 minute read Published: 2026-08-31