mbk/invariant
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
7 commits 1 branch 0 tags 37 KiB
Lean 100%
Find a file
mehbark 9240c7b899 add NatSet to its own file
2025-04-04 19:53:23 -04:00
Invariant add NatSet to its own file 2025-04-04 19:53:23 -04:00
Invariant.lean add NatSet to its own file 2025-04-04 19:53:23 -04:00
lake-manifest.json list_insert_mem 2025-04-03 23:10:34 -04:00
lakefile.toml list_insert_mem 2025-04-03 23:10:34 -04:00
lean-toolchain list_insert_mem 2025-04-03 23:10:34 -04:00
README.md NatSet.insert 2025-04-04 00:40:08 -04:00

README.md

invariant

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