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

[coq] Overlay for coq/coq#18385 #592

Open ejgallego opened 4 months ago

ejgallego commented 4 months ago

The newer loading method is preferred since 8.16