Lurch Tutorial
This tutorial is for the Lurch application that is online here.
Warning
The app's documentation is not at all complete yet! It is just beginning!
In fact, at this point, there is almost nothing here! There is only this tutorial, and it is far from complete.
We are actively developing Lurch daily during Spring 2024, and if you check back often, you will find new documentation arriving regularly.
Contents
Here is the table of contents for the tutorial. It is a work in progress.
Basics
- Lurch as a word processor
- Adding some mathematics
- Making mathematics meaningful
- Checking your reasoning
The main ingredients
Your first proofs
- Part 1: Propositional logic
- Part 2: Constructing a proof (not yet written---coming soon!)
- Part 3: Subproofs exercise (not yet written---coming soon!)
- Part 4: Subproofs solution (not yet written---coming soon!)