GitHub - torhagl/delModelChecker: Model checker rewritten in Elm from Haskell. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
src		src
.gitignore		.gitignore
DEMO_S5.hs		DEMO_S5.hs
elm-package.json		elm-package.json

About

Model checker rewritten in Elm from Haskell.

1 star

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages