[FEATURE] Publish a lading page for Apalache - Githubissues

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

440 stars 40 forks source link

[FEATURE] Publish a lading page for Apalache #240

Closed shonfeder closed 3 years ago

shonfeder commented 4 years ago

Using GitHub pages.
Include hosting the docs.

shonfeder commented 3 years ago

Duplicate of #396