first_order_logic_prover

first_order_logic_prover copied to clipboard

I am deeply interested in this project. I have some newbie questions :)

1

1. What source book, article, etc did you use to figure out how to code this? 2. How does your resolution algorithm work? 3. How does your proof checking algorithm...

enjoysmath