Premodifier: proofHead noun: assistant
| Same concepts |
|---|
| http://dbpedia.org/resource/Proof_assistant |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| tool | isap:150566432 | 0.442661 |
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| coq | isap:263208873 | 0.419358 |
| agda | isap:287399727 | 0.293344 |
| twelf | isap:339229452 | 0.280777 |