/cora-eclipse

Development environment for Cora using Eclipse and Docker

Primary LanguageShell

Stargazers