FME Teaching Committee's next tutorial
"Teaching the theory and practice of proof assistants with Lean"
26th of Aug 2022 (Tomorrow!) @ 3pm CEST
Speaker: Dr Robert Lewis (robertylewis.com) from Brown University, USA
Zoom details & future tutorials: fme-teaching.github.io/2021/08/24/tut…
