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.

[Fiona Skerman]

Hey

[Elias Castegren]

I'm an assistant professor in computer science at Uppsala University, Sweden. I'm working on programming languages, especially type systems and formal semantics. I have previous experience with Rocq, but I'm looking into Lean since @Julian Külshammer is introducing Lean in his first-year Logic course, which means the students in my third-year Semantics course is going to know some Lean.