Claim apalache
Take ownership of this changelog and unlock full control
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Full Control
Edit entries, customize styling, and manage subscribers
Verified Owner
Show visitors you're the official maintainer
Auto-Sync
New releases automatically create changelog entries
Claim with GitHub
You'll need to verify you have admin access to apalache-mc/apalache