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