![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg&w=640&q=50)
Teoremen frogapen automatiko
From Wikipedia, the free encyclopedia
Teoremen frogapen automatikoa (ingelesez Authomathed theorem proving edo ATP) arrazonamendu automatikoaren azpialorra da eta programa informatikoen bidez teorema matematikoak frogatzeaz arduratzen da.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg)