search

math-comp / finmap

Finite sets, finite maps, multisets and generic sets
46 stars 28 forks source link

Update meta.yml #110

Closed pi8027 closed 10 months ago