overview

Stream: Lean for teaching

[Johan Commelin]

I think I saw a list on Zulip of places/courses that have used Lean for teaching. But I can't find it.
Can/should we have a central overview on the website?

[Johan Commelin]

Many people have been sharing their experiences. It would also be good to gather these. Even if it's just a compiled list of zulip posts.

[Johan Commelin]

A website with "Do's and dont's" would be quite helpful, I think

[Siddhartha Gadgil]

My course has started yesterday: http://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/index.html

Will share experiences as I go along. To start: docgen4 is a great asset allowing notes on the fly.

[James Gallicchio]

Is there an easy place to host information on this? Maybe we make a new git repo and use the wiki? :)

[Johan Commelin]

I would prefer for this information to be integrated in the community website