Corpus / a/interactive-proof
Interactive proof
Uses your system voice; voice and rate in settings.
Snapshot
≈ 1 min read
Paste this to embed this article on any page:
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
Interactive proof can refer to: * The abstract concept of an Interactive proof system * Interactive theorem proving software
Interactive proof can refer to: The abstract concept of an Interactive proof system Interactive theorem proving software
Text derived from https://en.wikipedia.org/w/index.php?oldid=1371404599 under CC BY-SA 4.0; modifications have been made.