Simple proof checker for equational logic
(C) 2020 Hisabumi Hatsugai
- A Logical Approach to Discrete Math, David Gries, Fred B. Schneider, 1993
-
Notifications
You must be signed in to change notification settings - Fork 1
Simple proof checker for equational logic
License
hatsugai/Geta
About
Simple proof checker for equational logic
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published