Geeks
Ayertienna
/
IS5
Intuitionistic S5 logic formalization
Primary Language
Coq
IS5 GitHub
Markdown
Readme
49
Issues
4
Stargazers
1
Watcher
Watchers
Ayertienna
Copenhagen, Denmark