LibDex The library index

Archive of Formal Proofs

Library in Germany.

Update this library

Contact details

Website
afp.sourceforge.net/index.shtml unreachable when last checked
Address
Germany

Library information

Type
Not recorded
Location
, Germany
LibDex ID
159214
Source
Wikidata (CC0)
Last updated
26 October 2026