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