Lament Configuration
source
log in
quint: an executable specification language
https://github.com/informalsystems/quint
tool
2024-01-10 02:10:33.845722
—
@gdritter