retard wrote:
Has anyone except the almighty Andrei ever even downloaded a theorem prover?
That's *A*lmighty Andrei, note the caps. Please show due respect.
retard wrote:
Has anyone except the almighty Andrei ever even downloaded a theorem prover?
That's *A*lmighty Andrei, note the caps. Please show due respect.