Zulip Chat Archive

Stream: Lean for teaching

Topic: Nipkow on teaching with ITP

Patrick Massot (Jan 17 2021 at 19:34):

Today Tobias Nipkow gave a talk including some thought about teaching computer science using Isabelle. Only the last section of his talk was about that topic so I think people interested in teaching can go directly to https://youtu.be/PAxUO84tUE8?t=3159. Of course this is very much about teaching algorithms and data structures, but I think there is food for thought for mathematics as well.

Last updated: Dec 20 2023 at 11:08 UTC