https://proofwiki.org/
Repozytorium ścisłych definicji i dowodów matematycznych.