The word processor that can check your math

Big Picture

What have we built so far? (part 2 of 2)

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

What is our mission statement trying to say?

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