Zulip Chat Archive

Stream: general

Topic: teaching and proof assistant

Patrick Massot (Apr 05 2018 at 19:49):

Paulin pointed out to me the existence of http://www.lama.univ-savoie.fr/%7Edavid/ftp/experiment.ps which may be interesting to @Kevin Buzzard and other people interested in using proof assistant with young students

Kevin Buzzard (Apr 05 2018 at 19:53):

Oh! Many thanks for this Patrick!

Kevin Buzzard (Apr 05 2018 at 20:12):

That was an interesting read. They were asking fewer students to prove harder theorems.

Last updated: Dec 20 2023 at 11:08 UTC