Connes Embedding Problemen.wikipedia.org 19 pointsjerlendds6 months ago2 commentsSaveHideCopy link On HNComments−big-chungus46moDamn that's crazy, who else agrees−gsf_emergency_66mohttps://leanprover-community.github.io/mathlib_docs/analysis...First person account of how it was disprovedhttps://mycqstate.wordpress.com/2020/01/14/a-masters-project...
Comments
Damn that's crazy, who else agrees
https://leanprover-community.github.io/mathlib_docs/analysis...
First person account of how it was disproved
https://mycqstate.wordpress.com/2020/01/14/a-masters-project...