Name		Name	Last commit message	Last commit date
profile		profile
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Apalache

See the main repository: https://github.com/apalache-mc/apalache

About

Home of APALACHE: symbolic model checker for TLA+ and Quint

Apache-2.0 license

Custom properties

1 star

0 watching

Report repository

Releases

Packages

Contributors