coq-community/corn

README out of date

jldodds opened this issue · 1 comments

jldodds commented

As of 72696f3 Math Classes are no longer a submodule, and it looks like make is now the preferred build method. Updated build instructions would be appreciated

spitters commented

Thanks. The Coq team is requiring OPAM for contribs, so that's the model we are using.