search

VeriNum / LAProof

MIT License
6 stars 1 forks source link

Add a coq-laproof.opam file #13

Closed JasonGross closed 1 month ago

JasonGross commented 1 year ago

This would also need to be merged into the coq/opam repository.

Progress towards #7

JasonGross commented 1 year ago

Let me know, btw, if you want me to submit a PR to https://github.com/coq/opam adding an opam package for LAProof