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 2023 at 11:08 UTC