Acknowledgements

Document generation

Thank you to Jeremy Avigad of CMU for showing how he generates Read_The_Docs documents from annotated Lean source code. I adapted his method for this project.