finmap
finmap copied to clipboard
math-comp
Finite sets, finite maps, multisets and generic sets
Results
22
finmap issues
Sort by
recently updated
recently updated
newest added
This PR: - removes the use of phantom types, and - ports the keyed- and module-locking to `HB.lock`. Note that unlocking `fsfun_of_ffun` does not give the same result as before...
I just realized that there was some confusion in my PR to release the opam file for distribution, partly due to `finmap` being just slightly out of sync with `mathcomp`....
