This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
David McCarthy 🇺🇦
totalutility.bsky.social
did:plc:xbnmnjacvworfxcnecv32wk6
Are there other somewhat accessible examples where proof & model theory is the backbone of algebraic results? Seems that algebra texts rarely mention this kind of stuff (except maybe a parenthetical remark that something reduces to a word problem).
2025-08-29T10:21:57.446Z