Math 299 is the undergraduate Introduction to Proof course for math majors. This repository contains all of the rule definition libraries and homework assignments given on Lurch during the Spring 2024 semester. The file welcome.html has links to those documents, and some other information. It can be accessed via Github Pages at kenmonks.github.io/math299/welcome.html.
To use this as a template for your own Lurch course content, simply fork this repository to your own account, and then use Github Pages to serve the files from your forked copy.