Spectral Theorem | Bourbaki 2.0 | Observable
ojs
Author
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.
Comments (0)
Add comment
Subscribe to notifications
© 2026 Observable, Inc.
Terms of service
Privacy policy
Product
About
Pricing
Documentation
Release notes
Contact us
Open source
Notebook Kit
Plot
D3
Community
Public
Forum
Bluesky
YouTube
X
Observable
Sign up
Bourbaki 2.0
8
Add comment
Subscribe to notifications
1
Spectral Theorem | Bourbaki 2.0 | Observable