Skip to content
GitLab
Explore
Sign in
add support for %%promela
As for %%dve, a support for promela (with Spins) would be nice in Python