top | item 46993647 Connes Embedding Problem 19 points| jerlendds | 18 days ago |en.wikipedia.org 2 comments order hn newest big-chungus4|15 days ago Damn that's crazy, who else agrees gsf_emergency_6|16 days ago https://leanprover-community.github.io/mathlib_docs/analysis...First person account of how it was disprovedhttps://mycqstate.wordpress.com/2020/01/14/a-masters-project...
gsf_emergency_6|16 days ago https://leanprover-community.github.io/mathlib_docs/analysis...First person account of how it was disprovedhttps://mycqstate.wordpress.com/2020/01/14/a-masters-project...
big-chungus4|15 days ago
gsf_emergency_6|16 days ago
First person account of how it was disproved
https://mycqstate.wordpress.com/2020/01/14/a-masters-project...