Modern Orange
  • New
  • Best
  • Ask
  • Show
  • Jobs
  • About
E
Story
Connes Embedding Problem
  • 16
  • 1
  • jerlendds
  • 2 days ago
  • en.wikipedia.org
  • gsf_emergency_6
  • ·
  • 3 hours ago
  • ·
  • [ - ]
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...