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

Fix call to congruence after coq/coq#19032 #612

Closed SkySkimmer closed 3 months ago

SkySkimmer commented 3 months ago

Should be ready to merge