Modify examples and tests for Coq/Coq#18164

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

Closed Villetaneuse closed 10 months ago

Villetaneuse commented 10 months ago

@mattam82 Sorry to bother you, this is still for Coq/Coq#18164 but this time to make ci-equations_test pass.