Disambiguation evidence for Archive of Formal Proofs via surface form
"Archive of Formal Proofs"
Triples (2)
Triples where some other subject referred to this entity
as "Archive of Formal Proofs".
linked to:
Isabelle proof assistant