ProofWiki is a collection of mathematical proofs! ProofWiki is dedicated to providing a place where people can take their knowledge of math proofs and share it with everyone.
https://proofwiki.org/wiki/Main_Page
Copy & paste the above command to any Unix-based system to begin download. Rsync can pick up where it left off and only downloads changes.
It's the most efficient way to stay up-to-date with RACHEL modules.