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: Feb 28 2026 at 14:05 UTC