The word processor that can check your math


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