Proofer is a logic engine designed to help the user prove an argument to be valid. The "help" is simply disallowing the user to use rules incorrectly. The interface is the command line, but if I ever get ProoferGame working how I like it then the interface will be much more enjoyable (hence the appended 'game').
-
Notifications
You must be signed in to change notification settings - Fork 0
Proofer is a logic engine designed to help the user prove an argument to be valid. The "help" is simply disallowing the user to use rules incorrectly. The interface is the command line, but if I ever get ProoferGame working how I like it then the interface will be much more enjoyable (hence the appended 'game').
rkenney525/Proofer
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proofer is a logic engine designed to help the user prove an argument to be valid. The "help" is simply disallowing the user to use rules incorrectly. The interface is the command line, but if I ever get ProoferGame working how I like it then the interface will be much more enjoyable (hence the appended 'game').
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published