Geeks
Ayertienna
/
IS5
Intuitionistic S5 logic formalization
Primary Language
Coq
IS5 GitHub
Markdown
Readme
49
Issues
4
Stargazers
1
Watcher
Stargazers
annenkov
Concordium
co-dan
Groningen
fkaufer
potan