Image by HeungSoon on Pixabay · Pixabay License
proof assistant
Sign in to saveAlso known as interactive theorem prover, theorem prover, automated theorem prover
software tool to assist with the development of formal proofs by human-machine collaboration
Wikidata facts
- Image
- CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Show 2 more facts
- Stack Exchange tag
- cstheory.stackexchange.com/tags/proof-assistants
- Stack Exchange site URL
- proofassistants.stackexchange.com
Sources (3)
via Wikidata · CC0
Connections
Standard ML
Entity
automated theorem proving
Entity
Isabelle
Entity
computer
Entity
Artificial intelligence
Concept
computer science
Entity
International Standard Book Number
Entity
circle
Entity
Q2407
Entity
University of Cambridge
Entity
mathematical proof
Entity
digital object identifier
Entity
mathematical logic
Entity
Cornell University
Entity
University of Edinburgh
Entity
Q364
Entity
user interface
Entity
Q34010
Entity
DMOZ
Entity
Technical University of Munich
Entity