Zulip Chat Archive

Stream: general

Topic: literate latex / lean doc


view this post on Zulip Jalex Stark (Mar 03 2020 at 03:24):

What software is used to make this document?

view this post on Zulip Jalex Stark (Mar 03 2020 at 03:25):

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

view this post on Zulip Bryan Gin-ge Chen (Mar 03 2020 at 03:30):

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

view this post on Zulip Jalex Stark (Mar 03 2020 at 03:32):

Thanks!

view this post on Zulip Jalex Stark (Mar 06 2020 at 00:02):

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.


Last updated: May 08 2021 at 09:11 UTC