Zulip Chat Archive
Stream: new members
Topic: Mathias Stout
Mathias Stout (Jul 23 2025 at 14:46):
Hi everyone, I'm Mathias Stout. Quite new to Lean and formalization, but interested in doing model theory with it (primarily model theory of valued fields).
Last updated: Dec 20 2025 at 21:32 UTC