Isabelle development team
E1997092
UNEXPLORED
The Isabelle development team is the group of researchers and developers responsible for designing, implementing, and maintaining the Isabelle proof assistant and its associated tools.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Isabelle development team canonical | 3 |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.