/ATP2

My 2nd attempt at a basic Automated Theorem Prover, this time in Racket

Primary LanguageRacket

ATP2

My 2nd attempt at a basic Automated Theorem Prover, this time in Racket

report