search

VeriNum / LAProof

MIT License
6 stars 1 forks source link

Fix unification errors #10

Closed JasonGross closed 8 months ago

JasonGross commented 1 year ago

I need these changes for LAProof to build on my configuration. Not sure which particular version of which dependency needs this (Coq 8.18?)

Conflicts with #8, but I can rebase / recreate as necessary

JasonGross commented 1 year ago

This seems needed to build with versions of mathcomp even before 2.0.0, any chance it can get merged?