Image by HeungSoon on Pixabay · Pixabay License
dimostratore automatico di teoremi
Sign in to saveAlso known as interactive theorem prover, theorem prover, automated theorem prover
categoria di software per la logica matematica
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