mbk/invariant
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
invariant/README.md
mehbark c9b1f534be NatSet.insert
2025-04-04 00:40:08 -04:00

236 B
Raw Permalink Blame History

invariant

basic examples of formally enforcing invariants in data structures, inspired by Batteries.dlist's invariant field.