Topic: literate latex / lean doc
Jalex Stark (Mar 03 2020 at 03:24):
What software is used to make this document?
Jalex Stark (Mar 03 2020 at 03:25):
Bryan Gin-ge Chen (Mar 03 2020 at 03:30):
Jalex Stark (Mar 03 2020 at 03:32):
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