Proof assistant

From PKC
Revision as of 14:07, 18 May 2022 by Benkoo (talk | contribs) (Created page with "{{WikiEntry|key=Proof assistant|qCode=11387554}} is a software tool to assist with the development of formal proofs by human-machine collaboration. Category:Meta Language")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Proof assistant(Q11387554) is a software tool to assist with the development of formal proofs by human-machine collaboration.

Retrieved from "https://pkc.pub/index.php?title=Proof_assistant&oldid=30635"