Zulip Chat Archive
Stream: new members
Topic: carter schonwald
Carter Schonwald (Mar 18 2021 at 16:15):
Hello! i'm new to mathlib/modern lean! (though i've done lots of other type theory ish provers/fp things in the past)
Last updated: Dec 20 2025 at 21:32 UTC