Proof Checker and Proof Assistant based on Kelley-Morse Set Theory and FOL Natural Deduction
Please see pylog.pdf for an introduction to PyLog and kelley.pdf.
-
Notifications
You must be signed in to change notification settings - Fork 0
owl77/PyLog
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proof Checker and Proof Assistant based on Kelley-Morse Set Theory and FOL Natural Deduction
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published