Sign up for Zulip

introproofs

https://introproofs.zulipchat.com

This is a group chat for the Fall 2023 iteration of Introduction to Proofs at Johns Hopkins.

You need an invitation to join this organization.