Q1131652

From Wikidata
Jump to: navigation, search

Coq (Q1131652)[edit]

proof assistant [edit]

No aliases defined. [add]

Statements