Losbarthos / Beginning-Logic

Build a Theorem Prover based on book Beginning Logic by Lemmon

Beginning-Logic

Build a Theorem Prover based on book Beginning Logic by Lemmon

This project is in development.

Some first details, https://github.com/Losbarthos/Beginning-Logic/wiki