Proof General
E1294487
UNEXPLORED
Proof General is an Emacs-based generic interactive proof development environment widely used as an interface for theorem provers such as Coq.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Proof General canonical | 2 |
| Proof General (for many Isabelle users) | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17872530 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Proof General Context triple: [Coq, hasInterface, Proof General]
-
A.
Proof
Proof is a 1991 Australian drama film directed by Jocelyn Moorhouse, featuring Russell Crowe in an early acclaimed role alongside Hugo Weaving.
-
B.
Prouvé
Prouvé is a French surname most famously associated with Jean Prouvé, the influential 20th-century architect and designer known for his innovative work in metal furniture and prefabricated buildings.
-
C.
Actual Proof
Actual Proof is a hip-hop duo known for their lyrically driven, soulful sound and close affiliation with producer 9th Wonder’s Jamla Records collective.
-
D.
The Proof
The Proof is a film project associated with producer Brunson Green, known for his work on character-driven independent movies.
-
E.
JProof
JProof is a music producer known for his work on Usher’s album "Hard II Love."
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Proof General Target entity description: Proof General is an Emacs-based generic interactive proof development environment widely used as an interface for theorem provers such as Coq.
-
A.
Proof
Proof is a 1991 Australian drama film directed by Jocelyn Moorhouse, featuring Russell Crowe in an early acclaimed role alongside Hugo Weaving.
-
B.
Prouvé
Prouvé is a French surname most famously associated with Jean Prouvé, the influential 20th-century architect and designer known for his innovative work in metal furniture and prefabricated buildings.
-
C.
Actual Proof
Actual Proof is a hip-hop duo known for their lyrically driven, soulful sound and close affiliation with producer 9th Wonder’s Jamla Records collective.
-
D.
The Proof
The Proof is a film project associated with producer Brunson Green, known for his work on character-driven independent movies.
-
E.
JProof
JProof is a music producer known for his work on Usher’s album "Hard II Love."
- F. None of above. chosen
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Proof General