Zulip Chat Archive

Stream: Geographic locality

Topic: Uppsala, Sweden


view this post on Zulip Julian Külshammer (Jul 05 2020 at 11:53):

I'm a lecturer working in representation theory (of finite dimensional algebras and quivers) at Uppsala University, Sweden. Now trying to learn some basic things about proof verification. I currently find the tutorial "Mathematics in Lean" to be quite useful as an entry point (in the middle of the second chapter).

view this post on Zulip Patrick Massot (Jul 05 2020 at 12:09):

Welcome! Don't hesitate to post comments about MIL, it's in its very early stages.


Last updated: Jul 29 2021 at 20:11 UTC