Anyone who wants a tutorial on Lurch, starting from no prior knowledge, and covering the essential features in detail. This tutorial is probably of greater interest to instructors than to students, but it is open to anyone. Some of the features covered in the tutorial also come with explanations of the design motivations behind them.
Each page of this tutorial is a document you open inside the Lurch web app itself. You can read the document and interact with it live in the app, trying out exercises and examples posed to you in the tutorial you're reading as you go.
Lurch can do much more advanced mathematics than what we showcase in this tutorial, which starts at the beginning and tries to move slowly and answer as many questions as possible. Other Lurch tutorials may introduce more advanced mathematical topics and Lurch's capability to grade them.
Lesson 4
Loading background material
Supplement
Rules imported by Lesson 4
Lesson 5
Declaring and using variables
Supplement
Rules imported by Lesson 5
Supplement
Blank document importing Lesson 5 rules
Lesson 7
Writing rules, axioms, and definitions
Lessons on how to create homework assignments and other class materials using Lurch, and publish them online as a website for your students to use.
For now, some of that content is already covered on our website, and you may be interested in reading it there.