search

apalache-mc / apalache

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

Replace some left-over Zulip links with Discourse #3031

Closed thpani closed 2 weeks ago

thpani commented 2 weeks ago

Replace some left-over links to Zulip with Discourse