GitHub repository: AlexRogalskiy/template-coq
Description: A template for Coq, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal proof management environments in the cloud.