https://github.com/gitpod-samples/template-coq

A template for Coq, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal proof management environments in the cloud.
https://github.com/gitpod-samples/template-coq

coq formal-verification gitpod template

Last synced: 3 months ago
JSON representation

A template for Coq, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal proof management environments in the cloud.

• Host: GitHub
• URL: https://github.com/gitpod-samples/template-coq
• Owner: gitpod-samples
• License: mit
• Created: 2021-08-14T11:00:08.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-08-14T11:45:04.000Z (almost 4 years ago)
• Last Synced: 2025-01-24T12:45:34.632Z (5 months ago)
• Topics: coq, formal-verification, gitpod, template
• Language: Dockerfile
• Homepage: https://www.gitpod.io
• Size: 1.95 KB
• Stars: 1
• Watchers: 7
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# A Coq template on Gitpod

This is a [Coq](https://en.wikipedia.org/wiki/Coq) template configured for ephemeral proof management environments on [Gitpod](https://www.gitpod.io/).

## Next Steps

Click the button below to start a new development environment:

[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/gitpod-io/template-coq)

## Get Started With Your Own Project

### A new project

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.

### An existing project

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](https://www.gitpod.io/docs/getting-started) documentation.