proof assistant (Q11387554)
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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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(11 entries)
- dewiki Beweisassistent
- enwiki Proof assistant
- eswiki Demostración interactiva de teoremas
- etwiki Tõestusassistent
- frwiki Assistant de preuve
- kowiki 증명 보조기
- nlwiki Bewijsassistent
- plwiki System wspomagający dowodzenie twierdzeń
- ruwiki Инструмент интерактивного доказательства теорем
- ukwiki Асистент доведення теорем
- zhwiki 证明助手