Autoformalize your Math🔗

This is a practical guide for mathematicians to formalize their own mathematical research. If you have no serious prior experience with computers, this is your place. However, if you do have some background on 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 knowledge in a compact, practical guide, so that the reader can start right away (auto)formalizing their research. Dozens of standard references will be provided throughout the text so that the reader can, later on and at their own pace, expand their knowledge.