proof assistant anglès (Q11387554)
Salta a la navegació
Salta a la cerca
software tool to assist with the development of formal proofs by human-machine collaboration anglès
Llengua | Etiqueta | Descripció | També conegut com a |
---|---|---|---|
català | Encara no s'ha definit cap etiqueta |
Encara no s'ha definit cap descripció |
|
anglès | proof assistant |
software tool to assist with the development of formal proofs by human-machine collaboration |
|
Declaracions
Identificadors
1 referència
proof-assistant · GitHub Topics · GitHub (anglès)
20 jul 2021
Enllaços de llocs
Viquipèdia(7 entrades)
- enwiki Proof assistant
- eswiki Demostración interactiva de teoremas
- etwiki Tõestusassistent
- frwiki Assistant de preuve
- plwiki System wspomagający dowodzenie twierdzeń
- ruwiki Инструмент интерактивного доказательства теорем
- ukwiki Асистент доведення теорем
Viquillibres(1 entrada)
- enwikibooks Mathematical Proof/Proof Assistants