search

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

Fix link in README.md #2961

Closed thpani closed 3 weeks ago

thpani commented 3 weeks ago

Closes #2959