Zulip Chat Archive

Stream: Lean for teaching

Topic: APPAM

Patrick Massot (Sep 11 2023 at 13:28):

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).

Last updated: Dec 20 2023 at 11:08 UTC