# Archive of Formal Proofs

> official collection of Isabelle formalised mathematical proofs

**Wikidata**: [Q108305552](https://www.wikidata.org/wiki/Q108305552)  
**Source**: https://4ort.xyz/entity/archive-of-formal-proofs


## References

1. ISSN Portal
2. OpenAlex