search

math-comp / finmap

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

Preparing next release #79

Closed CohenCyril closed 3 years ago

affeldt-aist commented 3 years ago

Will it integrate PR #75 ?

CohenCyril commented 3 years ago

yes

chdoc commented 3 years ago

@CohenCyril Is there a timeline for this? This is currently one of the blockers for releasing graph-theory for mathcomp-1.12.

CohenCyril commented 3 years ago

I'm taking care of this today...