Ontify
⌘
S
⌘
S
Computer-Assisted Proof - Ontify
Share
Computer-Assisted Proof
Mathematical proof at least partially generated by computer.
Wikipedia | Computer-Assisted Proof
Statements about
Computer-Assisted Proof
Subclass Of
Mathematical Proof
Non-Surveyable Proof
Uses
Proof Assistant
Stack Exchange Tag
https://math.stackexchange.com/tags/ ...
Wikidata