Import Archive of Formal Proofs

[physikerwelt]

To be discussed:

Import Archive of Formal Proofs

Link publications such as

https://www.isa-afp.org/entries/Transitive_Union_Closed_Families.html
->
https://doi.org/10.37236/9956 https://zbmath.org/1461.05230 https://portal.mardi4nfdi.de/wiki/Publication:2662344

Sources
https://foss.heptapod.net/isa-afp

[timconrad]

@nohahon Please have a look how many of the current ~900 entries could be linked to current MaRDI items and - if we would import them - how many lemmas caould be importet with them.