Proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.
genre
differentFrom
primaryTopic
Proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.
has abstract
En informatique (ou en mathéma ...... n de programmes informatiques.
@fr
In computer science and mathem ...... steps provided by, a computer.
@en
La demostración interactiva de ...... (PVS)
* Coq
* PhoX
* MINLOG
@es
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
741,347,471
hypernym
comment
En informatique (ou en mathéma ...... n de programmes informatiques.
@fr
In computer science and mathem ...... steps provided by, a computer.
@en
La demostración interactiva de ...... (PVS)
* Coq
* PhoX
* MINLOG
@es
label
Assistant de preuve
@fr
Demostración interactiva de teoremas
@es
Proof assistant
@en