Geeks
minchaowu
/
ModalTab
Verified decision procedures for modal logics in Lean
Primary Language
Lean
MIT License
MIT
ModalTab GitHub
Markdown
Readme
1
Issue
11
Stargazers
2
Watchers
Stargazers
arademaker
IBM Research and EMAp/FGV
cemulate
Boulder, CO
m4lvin
ILLC, University of Amsterdam
minalspatil
Umeå universitet
pricesmith
ratmice
SnO2WMaN
チルノのパーフェクトさんすう教室
Tc14Hd
tene38
utensil
ZhuoZoeyChen
University of Melbourne