Proof assistant

From PKC
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"