Media Summary: In lots of other events and and a great V variety of events too so there are schools where we try to A growing number of mathematicians are having fun explaining I will explain tools that help turn informal
Patrick Massot Teaching Mathematics Using Verbose Lean - Detailed Analysis & Overview
In lots of other events and and a great V variety of events too so there are schools where we try to A growing number of mathematicians are having fun explaining I will explain tools that help turn informal
