Q11387554

From Wikidata
Jump to: navigation, search

proof assistant (Q11387554)[edit]

software tool to assist with the development of formal proofs by human-machine collaboration [edit]

Also known as:
  • interactive theorem prover
[edit]

Statements