/nat-finset

Re-inventing finite sets (because (learning) ssreflect is overkill)

Primary LanguageCoq

Watchers