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 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. [...]