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 PR#18903 #595

Closed mattam82 closed 5 months ago

mattam82 commented 5 months ago

Adapt to Coq's PR coq/coq#18903