Notes

This website is now generated by Verso, the documentation and publishing tool of the Lean theorem prover. Each page is a small Lean file written in a Markdown-like syntax, and the whole site is produced by a Lean program.

Pages are plain text files kept under version control, so updating the site is a matter of editing a file and rebuilding.