Loki

Named after the Dutch god for formal verification, Loki is a weekly formalisation meetup in Utrecht.

We typically bring our laptops, exchange about our own formalisation projects or teach each other new tricks. Often we also hook up a big monitor and hack on a project together. Later in the evening we usually order Pizza together.

While most participants are most proficient in Lean, we code in other proof assistants from time to time and are very happy to learn from experiences in different formal languages.

When & Where?

We meet every Wednesday at 17:30 in the library of the mathematics department in Utrecht. The library is on the 7th floor of the Hans Freudenthal gebouw. There is no registration needed, feel free to just come and join us!

Most of the time, we wrap up between 21:00 and 22:00, but of course everyone is welcome to stay as short and long as long as they wish.

I don't know what formalisation or Lean is, can I still come?

Definitely! We invite everyone interested in formalisation or Lean to join us. We are happy to help with getting started and have many project ideas suitable for beginners on any level.

Contact

If you have any questions, please feel free to contact Christian Merten on the Lean Zulip or via email at c.j.merten@uu.nl.