
Greetings once again from PLANETQUANTUM.COM. Below are a couple screen shots of my "early stage" Quantum Theorem Prover:
And
While nothing much of importance is going on here (yet), this is an existence proof that the Quantum Theorem Prover exists. I'd like to say that I owe a great debt of gratitude to the following book: Currently, I'm concentrating attention on a few items:

©20042021 Planet Quantum  Kelly Roach 