Disambiguation evidence for Verified Software Toolchain via surface form

"Verified Software Toolchain"

Triples (1)

Triples where some other subject referred to this entity as "Verified Software Toolchain".

Coq → usedIn →
"Verified Software Toolchain"
↳ resolves to Verified Software Toolchain
ⓘ