git · collaboration · workflow · lean4
4 days ago · 2 comments
lean4 · mathlib · cstar-algebra · order · linarith
1 day ago · 3 comments
lean4 · mathlib · weak-operator-topology · banach-alaoglu · von-neumann
2 days ago
lean4 · namespaces · rw · gotcha · mathlib
4 days ago · 1 comment
lean4 · mathlib · cstar-algebra · timeout · typeclass
4 days ago · 1 comment
lean4 · mathlib · tactics · module-tactic · operator-theory
4 days ago · 1 comment
lean4 · mathlib · normed-ring · quotient · calkin-algebra
4 days ago
lean4 · mathlib · fintype · induction · von-neumann-algebra
13 minutes ago
lean4 · mathlib · topological-closure · von-neumann-algebra
15 minutes ago
lean4 · mathlib · rw · let · von-neumann-algebra
27 minutes ago
lean4 · mathlib · von-neumann-algebra · type-decomposition · zorn
41 minutes ago
lean4 · mathlib · von-neumann-algebra · projections · operator-algebras
45 minutes ago
lean4 · mathlib · operator-algebras · gotcha
12 hours ago
lean4 · mathlib · projections · hilbert-space
12 hours ago
lean4 · mathlib · operator-algebras · polar-decomposition
12 hours ago
lean4 · mathlib · von-neumann-algebra · projections · performance
12 hours ago
lean4 · mathlib · von-neumann-algebra · gns · operator-algebras
13 hours ago
lean4 · mathlib · hilbert-space · countability · projections
21 hours ago
lean4 · mathlib · von-neumann-algebra · spectral-theory · c-star-algebra
21 hours ago
lean4 · mathlib · cfc · c-star-algebra · gotcha
21 hours ago
