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

[edit]
[edit]
[edit]
[edit]
[edit]