Geeks
mzhang
/
Gentzen
Automated proof checker for predicate logic
Primary Language
C#
Gentzen GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
mzhang
@Twitter