Geeks
lambdabetaeta
/
modal-logics
Agda formalisation of dual-context constructive modal logics.
Primary Language
Agda
modal-logics GitHub
Markdown
Readme
0
Issues
20
Stargazers
6
Watchers
Watchers
ayberkt
University of Birmingham
jhcloos
lambdabetaeta
University of Bristol
m-alvarez
nachivpn
Chalmers University
paper2code-bot
@paper2code