We are currently experimenting with rewriting Lurch for the web. Although we are not yet committed to moving from desktop to web, it seems very promising. You can see our progress and try out some early demos at the GitHub project page for the web rewrite.
If you’re looking for a careful introduction to Lurch, look no further than the free, online introductory logic textbook forallX, now updated to include Lurch lessons throughout. Original text For several years, this author (Nathan Carter) has used the textbook forallX by P.D. Magnus in his introduction to logic course for honors students at Bentley [...]
This post follows on part 1, which described various elements of the Lurch user experience. That post introduced the “bubbles” paradigm, which enables users to structure their documents however they like while retaining the ability to write mathematical statements and arguments with unambiguous meaning and structure. Every Lurch user benefits from bubbles; you can’t use [...]
This is a follow-up to the explanation of our mission statement, which describes what Lurch is aiming to be. It answers the natural next question, “How far are we toward that goal?” There are three answers, but this post only hits on two of them, because the third is large enough for its own post. [...]
When you get bogged down in the details of a project, you check your direction against the beacon of your mission statement. A mission statement should be short and to the point, but may thus leave you wanting more detail. This post fills in details in our own mission statement, which comes in two parts. User [...]