Stream: Geographic locality
Topic: Uppsala, Sweden
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).
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