"Fields 𝗠𝗲𝗱𝗮𝗹𝗶𝘀𝘁 𝗧𝗲𝗿𝗲𝗻𝗰𝗲 𝗧𝗮𝗼 𝗵𝗮𝘀 𝗮𝗻𝗻𝗼𝘂𝗻𝗰𝗲𝗱 𝗮𝗻 𝗲𝘅𝗰𝗶𝘁𝗶𝗻𝗴 𝗻𝗲𝘄 𝗽𝗿𝗼𝗷𝗲𝗰𝘁 𝗯𝗿𝗶𝗱𝗴𝗶𝗻𝗴 #FormalVerification and #MathematicsEducation: A #LeanLang companion to his foundational textbook 𝘈𝘯𝘢𝘭𝘺𝘴𝘪𝘴 𝘐."
https://bit.ly/4dNxX1d