This site draws the paper and its Lean proof in the browser and needs JavaScript. The papers and their data are under
papers/
.