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
- Instance of
- software category
- Subclass of
- mathematical software
- Image
- CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
- Has use
- computer-assisted proof
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