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
Issues
Open issue
benchmarks
#1 opened
4 years ago
by
arademaker
0