Preface Acknowledgements
Thanks to the following people who’ve contributed to this handbook.
- The American Institute of Mathematics, for funding my travel to JMM 2024 and JMM 2025 to run professional enhancement programs based upon this handbook.
3
aimath.org - Jeremy Avigad, for adding Codespaces support to his book Mathematics in Lean in time for JMM 2024.
 - Francesca Gandini and Brandon Sisler, for co-organizing the JMM 2024 professional enrichment program that this book was written for originally.
 - Tien Chih and Oscar Levin for contributing chapters on AI and Manim, repsectively.
 - Francesca Gandini, Al Ashir Intisar, and Sumner Strom contributed the LaTeX, Macaulay2, and Invariant Theory chapters in the St. Olaf edition.
 
