- Troy, NY
- http://www.shaneaston.com
Pinned Loading
-
-
-
-
DavisPutnamNoCNF
DavisPutnamNoCNF PublicDavis Putnam ATP algorithm without conversions to CNF first
Python 1
-
davisputnamGo
davisputnamGo PublicAutomated Theorem Prover based on the Davis-Putnam algorithm
Go 1
-
Alien-Spoilers
Alien-Spoilers Publicauto-subscribe / unsubscribe from specific subreddits on a schedule to avoid spoilers
HTML
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.