COSMOS ACADEMIA needs JavaScript enabled for the interactive proof workspace.