This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Hillel
hillelwayne.com
did:plc:rvlyeda73kxm7l2weegk73pa
Logic for Programmers v0.15 is now available! This version has the first of two proofreading passes and a smaller form-factor for phone reading.
Next month: 1.0, out in print!
logicforprogrammers.com
https://logicforprogrammers.com
2026-06-15T17:29:23.265Z