CEL is a research group at Brown University. We research how to use computers to support complex cognitive tasks: programming, verification, communication, learning, and more.
This Zulip is open to the public. If you use any CEL tool, such as Argus, Aquascope, RepoQuest, Depot, or Flowistry, then please join to provide feedback or ask for technical support.