Product
Learn
Community
Pricing
Search
Sign in
Sign up
Bourbaki 2.0
Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
Fork
Public
calculus
By
Bourbaki 2.0
Edited
Importers
1 Like
More from Observable creators