V.
Graph explorer
Depth · 2Traversal
Graph explorer
Traverse the atlas graph from any seed record, narrowing by edge kinds and node kinds when needed.
Seed
language:coq
Loading graph...
EdgeKinds
lib_requires_skill_area · 14295lib_involves_role · 10595lib_belongs_to_specialization · 6509lib_applies_to_domain · 6084lib_implements_workflow · 5879applies_to · 3463involves_role · 2594requires_skill_area · 2396lib_covers_topic · 1856uses_agent · 1804applies_to_domain · 1753triggers_responsibility · 1679
e:lib_involves_role