Uppsala, Sweden

Stream: Geographic locality

[Julian Külshammer]

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]

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