gTHM: Does the World Need Another Theorem Prover?
Friday, December 2nd, 2005If there is one thing the world does not need is another theorem prover. So why am I thinking of building gTHM, a grid-based theorem prover in Boyer-Moore tradition? In a nutshell, because the gTHM will use the grid to help find mechanical proofs. At the moment we are building a prototype, [...]