Dafny

6260 notes: nominal typing, field update

16 minute read Published: 2026-08-02

6260 notes: nat, absDiff

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