Home

Awesome

<!-- [![Travis][travis-shield]][travis-link] -->

Contributing Code of Conduct Zulip

<!-- [![Available on the Visual Studio marketplace][vs-marketplace-shield]][vs-marketplace-link] [![Available on the Open VSX marketplace][open-vsx-shield]][open-vsx-link] --> <!-- [travis-shield]: https://travis-ci.com/coq-community/vscoq.svg?branch=master [travis-link]: https://travis-ci.com/coq-community/vscoq-legacy/builds --> <!-- [vs-marketplace-shield]: https://img.shields.io/visual-studio-marketplace/v/coq-community.vscoq1?label=Visual%20Studio%20Marketplace [vs-marketplace-link]: https://marketplace.visualstudio.com/items?itemName=coq-community.vscoq1 [open-vsx-shield]: https://img.shields.io/open-vsx/v/coq-community/vscoq1 [open-vsx-link]: https://open-vsx.org/extension/coq-community/vscoq1 -->

VsCoq 1 is an extension for Visual Studio Code (VS Code) and VSCodium with support for the Coq Proof Assistant. It is a legacy version compatible with Coq 8.17 or lower. If you are using Coq 8.18 or higher please use the VsCoq extension.

This extension is currently developed by @maximedenes and contributors, as part of Coq Community. The original author of this extension is @siegebell.

Features

Requirements

Installation

The recommended way to install VsCoq is via the Visual Studio Marketplace or Open VSX.

Screenshots

vscoq

Instructions

  1. install Coq
  2. install VS Code or VSCodium
  3. run code or codium
  4. install this extension: press F1 to open the command palette, start typing "Extensions: Install Extension", press enter, and search for vscoq1
  5. select "enable" on the extension

Basic usage

Settings

(Press F1 and start typing "settings" to open either workspace/project or user settings.)

Install a local version

Checkout the repo, run make, and install the produced .vsix file in the repository root by following https://code.visualstudio.com/docs/editor/extension-gallery#_install-from-a-vsix. So, either "Cmd-Shift-P" and "Extensions: Install from VSIX", or running code --install-extension vscoq1-0.4.0.vsix (or whatever version number) from the terminal.