Computer-verified proofs: 48 hours in Rome

Summary

The site uses vitepress to generate everything from content written in markdown. Site is available at [https://www.mat.uniroma2.it/butterley/formalisation/].

Local editing

Clone this repository by git clone git@github.com:oliver-butterley/formalisation.git or your favourite way to clone repos. In order to edit and preview locally, run npm install and then run npm run dev. Edit the markdown files and the page will update automatically. See the full list of markdown extensions.