This is a Coq template configured for ephemeral proof management environments on Gitpod.
Click the button below to start a new development environment:
Click the above "Open in Gitpod" button to start a new workspace. Once you're ready to push your first code changes, Gitpod will guide you to fork this project so you own it.
To get started with Coq on Gitpod, copy the contents of this foler to your own project. To learn more, please see the Getting Started documentation.