This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Michael Vasmer
vasmer.bsky.social
did:plc:tzj2suw3awlhy7nwyr6yocim
I agree that looking at the structure of the logical operators in the product code (given by the Kunneth formula) is a good place to start. But one would also need to show that the weight of these operators can't be further reduced by applying stabilisers.
2025-05-20T09:43:54.271Z