search

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
https://apalache-mc.org/
Apache License 2.0
439 stars 40 forks source link

Fix two links #2965

Closed konnov closed 2 months ago

konnov commented 2 months ago

Fixing the broken links on the website's landing page