diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:37:49 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:37:49 +0100 |
commit | 861a47690d7cb52bcb0dc41738982b85f2e6ffb5 (patch) | |
tree | 0c5f0758282ef3fcf4da76baab384aa18358dc4c /README.md | |
parent | 72cbdc49bec8032619ff4e8ab216f03901c03351 (diff) | |
download | smtcoq-861a47690d7cb52bcb0dc41738982b85f2e6ffb5.tar.gz smtcoq-861a47690d7cb52bcb0dc41738982b85f2e6ffb5.zip |
Correct links
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,9 +6,9 @@ SMTCoq is a [Coq](http://coq.inria.fr) plugin that checks proof witnesses coming * decision procedures through new tactics that discharge some Coq goals to ZChaff, veriT, CVC4, and their combination. ## Installation and use -SMTCoq is freely available as an [https://coq.inria.fr/opam/extra-dev/packages/coq-smtcoq](opam package) and on [GitHub](https://github.com/smtcoq/smtcoq). See the [https://github.com/smtcoq/smtcoq/blob/master/INSTALL.md](INSTALL.md) file for instructions on how to install SMTCoq and the supported provers. +SMTCoq is freely available as an [opam package](https://coq.inria.fr/opam/extra-dev/packages/coq-smtcoq) and on [GitHub](https://github.com/smtcoq/smtcoq). See the [INSTALL.md](https://github.com/smtcoq/smtcoq/blob/master/INSTALL.md) file for instructions on how to install SMTCoq and the supported provers. -See [the examples](https://github.com/smtcoq/smtcoq/blob/master/examples/Example.v) to see how to use SMTCoq. More details are given in the [https://github.com/smtcoq/smtcoq/blob/master/USE.md](USE.md) file. +See [the examples](https://github.com/smtcoq/smtcoq/blob/master/examples/Example.v) to see how to use SMTCoq. More details are given in the [USE.md](https://github.com/smtcoq/smtcoq/blob/master/USE.md) file. SMTCoq is distributed under the CeCILL-C license. |