6260 Notes: Happy Dafny

6260 notes: nat, absDiff, if 条件即证明

2 minute read Published: 2026-08-01

6260 notes: 递归终止性, 蕴含

4 minute read Published: 2026-07-31

6260 notes: tuple, type, predicate, implicate

3 minute read Published: 2026-07-29