The avatar for @neobourbaki
Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
Public
Edited
Importers
1 Like
More from Observable creators