Hello to All
Where I can find Articles about this Subject("Z3,Theorem Prover") ?
I do not understand the meaning of "Theorem Prover".
The main target of this is to develope some tools that will Prove some Mathematical Theorems in a Computer(Artificial Intelligence).
I saw in the forum that it has a connection to sound but in somewhere else I saw a connection to Algorithms.
Sorry about my Ignorance.
Many Thanks
Hernan