APPAM

Stream: Lean for teaching

[Patrick Massot]

A French team led by Cécile Ouvrier-Buffet got a grant to work on using proof assistants for teaching math to young undergrads. The team includes @Julien Narboux, @Frédéric Le Roux and myself from this Zulip. There is a website that is mostly written in French but has an abstract in English. It features some job announcements (but they require speaking French).