6260 Notes: Happy Dafny

6260 notes: 把引理当语句调用

4 minute read Published: 2026-08-18

6260 notes: lemma,谓词,等价关系,逻辑优先级

6 minute read Published: 2026-08-17

6260 notes: option

5 minute read Published: 2026-08-17

6260 notes: 列表构建

12 minute read Published: 2026-08-15

6260 notes: 树

5 minute read Published: 2026-08-14