Geeks
m4lvin
/
tablean
Tableau for basic modal logic in Lean 3
Primary Language
Lean
Apache License 2.0
Apache-2.0
tablean GitHub
Markdown
Readme
1
Issue
12
Stargazers
5
Watchers
Issues
Closed issue
avoid α and β for formula sets
#1 opened
a year ago
by
m4lvin
0