Geeks
m4lvin
/
modalox
A modal logic theorem prover
Primary Language
Haskell
BSD 2-Clause "Simplified" License
BSD-2-Clause
modalox GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
modalox
A modal logic theorem prover