Platform
Docs
Resources
Blog
Pricing
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.
Public notebooks
Public collections
Public notebooks
Sort
Title
Stars
Published
Showing all
11
notebooks
test
Bourbaki 2.0
Feb 6, 2023
Abel-Liouville identity
Bourbaki 2.0
Nov 8, 2021
•
1
Spectral Theorem
Bourbaki 2.0
Nov 15, 2019
•
8
Computable numbers
Bourbaki 2.0
Jul 17, 2023
•
2
Tools
Bourbaki 2.0
Dec 20, 2022
•
1
Integrals
Bourbaki 2.0
Apr 4, 2023
•
1
Real numbers
Bourbaki 2.0
Feb 15, 2023
Proof visualizer
This notebook is a fork
Bourbaki 2.0
Mar 23, 2023
Peano-Baker series
Bourbaki 2.0
Feb 16, 2023
Taylor's Theorem
Bourbaki 2.0
Dec 29, 2022
•
2
Fundamental Theorem of Calculus
Bourbaki 2.0
Feb 14, 2023
•
1