-
Notifications
You must be signed in to change notification settings - Fork 1
Home
River McCubbin edited this page Jan 20, 2024
·
6 revisions
The idea for Proof-Tree is to create a wiki-style database of math/logic proofs with clear dependencies, showing the structure of modern mathematics. Since some theorems are important in many different subfields, and can be proven from each of these, pages for a given theorem may include multiple proofs. Each proof will be clearly written and explanation will be available to make the field more accessible.
If you notice an issue with this article or have something to add, you are welcome to request a change, or to open a discussion post with details about errors/edits. You can visit the Contributing page of the wiki to find out more.