Skip to content

Commit

Permalink
Fix link (#2961)
Browse files Browse the repository at this point in the history
  • Loading branch information
@thpani
thpani authored Aug 23, 2024
1 parent d2b5cc2 commit afd4e4e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -156,7 +156,7 @@ Past funding from [Der Wiener Wissenschafts-, Forschungs- und Technologiefonds](
[apalache benchmarks]: https://github.com/apalache-mc/apalache-tests
[checking inductive invariants]: https://github.com/apalache-mc/apalache-tests/blob/master/results/001indinv-report.md
[bounded model checking]: https://github.com/apalache-mc/apalache-tests/blob/master/results/002bmc-report.md
[user-manual]: http://apalache-mc.org/apalache/docs/index.html
[user-manual]: http://apalache-mc.org/docs/index.html
[user-manual-docker]: https://apalache-mc.org/docs/apalache/installation/docker.html
[user-manual-installation]: https://apalache-mc.org/docs/apalache/installation/index.html
[language-manual]: https://apalache-mc.org/docs/lang/index.html
Expand Down

0 comments on commit afd4e4e

Please sign in to comment.