proof assistant (Q11387554)
Jump to navigation
Jump to search
software tool to assist with the development of formal proofs by human-machine collaboration
- interactive theorem prover
- theorem prover
- automated theorem prover
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | proof assistant |
software tool to assist with the development of formal proofs by human-machine collaboration |
|
Statements
Identifiers
1 reference
proof-assistant · GitHub Topics · GitHub (English)
20 July 2021
1 reference
Sitelinks
Wikipedia(7 entries)
- enwiki Proof assistant
- eswiki Demostración interactiva de teoremas
- etwiki Tõestusassistent
- frwiki Assistant de preuve
- plwiki System wspomagający dowodzenie twierdzeń
- ruwiki Инструмент интерактивного доказательства теорем
- ukwiki Асистент доведення теорем
Wikibooks(1 entry)
- enwikibooks Mathematical Proof/Proof Assistants