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
... which is to formalize the analogous theorems for the B_3 case (specifically, Sec. 8 of my recent paper with Noah: arxiv.org/pdf/2411.05916).
The proofs there are 70 pages of Noah solving the word problem by hand. So it will be nice to have a computer check his work -- a team is being assembled!
https://arxiv.org/pdf/2411.05916
2025-01-09T22:51:50.778Z