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

Address warnings related to Coq PR #17947 (extra renamings about decompose_prod_* functions) #567

Closed herbelin closed 10 months ago

herbelin commented 10 months ago

Trivial update which can be merged without delay.