Autoformalize your Math🔗

This is a practical guide for mathematicians who want to formalize their own mathematical research. If you have no serious prior experience with computers, this is the right place. However, if you do have some background in computer science, you will find most of the chapters in this book offensively easy. I am glad this is the case. That is precisely the goal of this text: to present well-known material in a compact, practical guide, so that the reader can start (auto)formalizing their research right away. Dozens of standard references will be provided throughout the text so that the reader can later on, at their own pace, expand their knowledge.