refresh the landing page

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

441 stars 40 forks source link

Closed konnov closed 2 weeks ago

konnov commented 2 weeks ago

The Apalache website was quite outdated. I have refreshed it a bit. Obviously, it needs more work to be done.