GitHub - TypicalMath/nat-finset: Re-inventing finite sets (because (learning) ssreflect is overkill)

TypicalMath / nat-finset Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

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

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md
finset.v		finset.v

Repository files navigation

Representing (finite) sets of natural numbers with binary strings

and developing the theory just as far as I need

About

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

Custom properties

Report repository

Releases

No releases published

Packages

Languages

Coq 100.0%