Log in to Zulip
introproofs
https://introproofs.zulipchat.com
This is a group chat for the Fall 2023 iteration of Introduction to Proofs at Johns Hopkins.
Don't have an account yet? You need to be invited to join this organization.