Giters
m4lvin
/
tablean
Tableau for basic modal logic in Lean 3
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
5
Issues:
1
Forks:
3
m4lvin/tablean Watchers
eemailme
Francisco Trucco
frantrucco
hferee
Malvin Gattinger
m4lvin
Tobias Kappé
TobiasKappe