European research community on theorem proving
E2242509
UNEXPLORED
The European research community on theorem proving is a collaborative network of researchers, institutions, and projects across Europe dedicated to advancing automated and interactive formal verification, proof assistants, and the mathematical foundations of software and hardware correctness.
All labels observed (1)
| Label | Occurrences |
|---|---|
| European research community on theorem proving canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Inria–Université Paris-Sud–CNRS research community around Coq
→
partOf
→
European research community on theorem proving
ⓘ