Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
copar
copar.cabal
Find file
Blame
History
Permalink
prism: Add tests for mcrl2 conversion
· 2a70ff9f
Hans-Peter Deifel
authored
Jun 07, 2019
2a70ff9f