Disambiguation evidence for Archive of Formal Proofs via surface form
"Archive of Formal Proofs (AFP)"
Triples (1)
Triples where some other subject referred to this entity
as "Archive of Formal Proofs (AFP)".
Isabelle
→
hasCommunityResource
→
"Archive of Formal Proofs (AFP)"
ⓘ
↳ resolves to Archive of Formal Proofs
linked to:
Isabelle proof assistant