The "Apalache user manual" link in the README.md file is broken - Githubissues

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

429 stars 40 forks source link

The "Apalache user manual" link in the README.md file is broken #2959

Closed saltiniroberto closed 3 weeks ago

saltiniroberto commented 3 weeks ago

Description

The "Apalache user manual" link (http://apalache-mc.org/apalache/docs/index.html) in the README.md file leads to a 404 GitHub page.

Impact

Not blocking

Input specification

N/A

The command line parameters used to run the tool

N/A

Expected behavior

The link leads to the Apalache user manual

Log files

N/A

System information

N/A

Additional context

N/A

Triage checklist (for maintainers)

[ ] Reproduce the bug on the main development branch.
[ ] Add the issue to the apalache GitHub project.
[ ] If the bug is high impact, ensure someone available is assigned to fix it.