Lurch Tutorial Session Schedule

Slide presentation: What is Lurch and what are the project’s goals?

We assume attendees arrive with potentially no previous knowledge of the project, especially its latest release. This section will explain how the project aims to transform parts of undergraduate mathematics education and how it differs from other proof checking tools.

(download slides as PDF)

Interactive session: Lurch basics (math word processing)

Most instructors will adopt a piece of software only if the user interface that their students would need to use is excellent. Thus we begin by addressing this question, since making an excellent user interface is also one of our top priorities.

We will use the Quick Start Guide from the Lurch for Math 299 site.

Interactive session: Writing proofs with Lurch

Attendees will get a chance to use the software as a student would use it, so that they can assess the style and quality of the student experience and decide for themselves whether this type of software would benefit an undergraduate student in a first proof-based course. This session will be an extended worksheet session with presenter guidance and time for attendees to work with the software on their own, with help from presenters.

We will use Doing proofs in Lurch from the Lurch for Math 299 site.

Coffee break

As listed on the conference schedule

Interactive session: Writing proofs with Lurch

Continuation of hands-on session from before the break.

Interactive session: Instructor workflow

This session will be a brief introduction to the instructor workflow in Lurch. It will use the same worksheet format attendees experienced earlier, but now showing a portion of how instructors use Lurch to prepare documents for students.

We will use Lurch for Instructors from the Lurch for Math 299 site.

Demonstration: Lurch deductive engine

How does Lurch grade student proofs? Some of the developer tools will be used to show what's "under the hood" of the Lurch proof checker.

Slide presentation: How can I get involved?

For attendees who have become interested in the project through this workshop, we will cover how they can get involved in the project. This can include using the software in class, authoring and sharing new Lurch document contnet online, or contributing code to the project's GitHub repo. Interested attendees are welcome to meet with the session's organizers throuhgout the rest of the week at the conference to discuss these opportunities further.

(download slides as PDF)