literate latex / lean doc

Stream: general

[Jalex Stark]

What software is used to make this document?

[Jalex Stark]

http://wwwf.imperial.ac.uk/~buzzard/docs/lean/sandwich.html

[Bryan Gin-ge Chen]

https://github.com/leanprover-community/format_lean

[Jalex Stark]

Thanks!

[Jalex Stark]

Installation experience: on a MacOS computer where python3.7 is already installed, the installation instructions here work great. On an older MacOS computer where python 3.6 had been installed by something other than brew/pip, I had to do some work.