All are invited to use, enjoy, and help build this collection of Proofscape modules diagramming theorems and proofs from classic mathematical literature.
The project is organized by Royalroad Mathematics Foundation (RMF).
The vision is that the library should encompass works by mathematicians like those apt to be listed under the MacTutor biographies. It should cover classic works of historical significance.
In terms of Proofscape concepts, the modules in this library contain only deductions (no annotations or examplorers). These deductions represent only theorems and proofs from the literature (no expansions).
As mentioned above, this library is meant to represent only the deductions that are actually present in the literature. So what about everything else you can do in Proofscape, like expansions, annotations, and examplorers?
The answer is that it's up to you. Studying mathematics? Why not start your own Proofscape repo in which to record (and share) your notes? Feeling more ambitious? Why not develop your own interactive textbook?
If you need some help getting started, take a look at Steve's notes for some examples of what you can do.
Contributing is easy. Fork this repository, add or improve some modules, and make a pull request.
The easiest way to develop Proofscape modules is by downloading and running the Proofscape Server locally. (Instructions coming soon!)
Everything in the library is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License (CC BY-SA 4.0).