This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Ryan O'Donnell
booleananalysis.bsky.social
did:plc:ytmpilwl3mwxvdtnwmk6nz5q
Cayden Codel & Noah Singer have formalized in Lean the climactic theorems of the Kaufman-Oppenheim paper that shows the A_3-type coset complex HDXs are cosystolic expanders! (I.e., Sec. 7.2 of arxiv.org/abs/1907.01259)
It's a warmup for the main project...
https://arxiv.org/abs/1907.01259showing
2025-01-09T22:51:50.762Z