Acknowledgements

$\newcommand{\R}{\mathbb R} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} $

Preface Acknowledgements

Thanks to the following people who’ve contributed to this handbook.

The American Institute of Mathematics
³
aimath.org
, for funding my travel to JMM 2024 to run a professional enhancement program based upon this handbook.
Jeremy Avigad, for adding Codespaces support to his book Mathematics in Lean in time for JMM 2024.
Francesca Gandini, for co-organizing the JMM 2024 professional enrichment program that this book was written for originally.

Prev Top Next