usesProofLanguage
P90133
predicate
Indicates that one entity employs a specific formal or structured language to express or present a proof related to another entity.
Sample triples (1)
| Subject | Object |
|---|---|
|
Isabelle proof assistant
surface form:
Isabelle
|
Isar ⓘ |