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: May 02 2025 at 03:31 UTC