Zulip Chat Archive
Stream: Geographic locality
Topic: Essen, DE
Christopher Schmidt (Jan 14 2023 at 15:23):
Hi everyone,
I am an undergraduate student from Essen.
Currently, I am working on (directed) graphs, trying to formalize the Lindström-Gessel-Viennot Lemma in Lean.
Last updated: Dec 20 2023 at 11:08 UTC