issues
search
mattam82
/
Coq-Equations
A function definition package for Coq
http://mattam82.github.io/Coq-Equations
GNU Lesser General Public License v2.1
223
stars
44
forks
source link
Adapt to https://github.com/coq/coq/pull/18224
#578
Closed
proux01
closed
6 months ago
proux01
commented
8 months ago
To be merged in sync with the upstream PR.
gares
commented
6 months ago
please merge
To be merged in sync with the upstream PR.