Re-inventing finite sets (because (learning) ssreflect is overkill)
Primary LanguageCoq
No issues in this repository yet.