Notebooks
Filter
None
Sort
Last updated
Observable
Sign in
Bourbaki 2.0
@neobourbaki
Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
Filter
None
Sort
Published
11
2
test
Bourbaki 2.0
Feb 6, 2023
Abel-Liouville identity
Fork
Bourbaki 2.0
Dec 1, 2021
1
Spectral Theorem
Bourbaki 2.0
Oct 25, 2022
8
Computable numbers
Bourbaki 2.0
Nov 28, 2024
2
Tools
Bourbaki 2.0
Mar 23, 2023
1
Integrals
Bourbaki 2.0
Nov 9, 2021
1
Real numbers
Bourbaki 2.0
Apr 6, 2023
Proof visualizer
Fork
Bourbaki 2.0
Mar 23, 2023
Peano-Baker series
Bourbaki 2.0
Apr 10, 2023
Taylor's Theorem
Bourbaki 2.0
Apr 3, 2023
2
Fundamental Theorem of Calculus
Bourbaki 2.0
Mar 21, 2023
1
