GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → coq-community → Vscoq

coq-community / Vscoq

Licence: mit
A Visual Studio Code extension for Coq [[email protected],@fakusb]

Programming Languages

typescript
32286 projects

Labels

editorvscodevscode-extensioncoq

Projects that are alternatives of or similar to Vscoq

Vscode Swift Development Environment
New home of Swift Development Environment for VS Code
Stars: ✭ 137 (-0.72%)
Mutual labels:  vscode, vscode-extension
Helm Intellisense
Extension for Visual Studio Code - Intellisense in helm-templates from the values.yaml
Stars: ✭ 137 (-0.72%)
Mutual labels:  vscode, vscode-extension
Vscode Codeql Starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
Stars: ✭ 130 (-5.8%)
Mutual labels:  vscode, vscode-extension
Vscode Elastic
Elasticsearch for VSCode
Stars: ✭ 130 (-5.8%)
Mutual labels:  vscode, vscode-extension
Vscode Coding Tracker
🕙 A coding activities tracker(time, file, type)
Stars: ✭ 137 (-0.72%)
Mutual labels:  vscode, vscode-extension
Markdown Toc
MarkdownTOC(Table Of Contents) Plugin for Visual Studio Code.
Stars: ✭ 130 (-5.8%)
Mutual labels:  vscode, vscode-extension
Vscode Mjml
This repo is archived. MJML preview, lint, compile for Visual Studio Code.
Stars: ✭ 138 (+0%)
Mutual labels:  vscode, vscode-extension
Vscode Go
Go extension for Visual Studio Code
Stars: ✭ 2,268 (+1543.48%)
Mutual labels:  vscode, vscode-extension
Advpl Vscode
Suporte para Advpl no VsCode
Stars: ✭ 132 (-4.35%)
Mutual labels:  vscode, vscode-extension
Vscode Neovim
VSCode Neovim Integration
Stars: ✭ 2,474 (+1692.75%)
Mutual labels:  vscode, vscode-extension
Vscode Scss
🔌 IntelliSense for Variables, Mixins and Functions in all Sass (SCSS syntax only) files.
Stars: ✭ 128 (-7.25%)
Mutual labels:  vscode, vscode-extension
Vscode Auto Close Tag
Auto Close Tag for Visual Studio Code
Stars: ✭ 132 (-4.35%)
Mutual labels:  vscode, vscode-extension
Doxdocgen
Generate doxygen documentation from source code in VS Code
Stars: ✭ 127 (-7.97%)
Mutual labels:  vscode, vscode-extension
Vscode Emacs Mcx
Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support
Stars: ✭ 135 (-2.17%)
Mutual labels:  vscode, vscode-extension
Vs Swagger Viewer
Swagger Viewer lets you preview and validate Swagger 2.0 and OpenAPI files as you type in Visual Studio Code.
Stars: ✭ 126 (-8.7%)
Mutual labels:  vscode, vscode-extension
Quicktype Vscode
VS Code extension to convert JSON to TypeScript, C#, Go, and many more
Stars: ✭ 131 (-5.07%)
Mutual labels:  vscode, vscode-extension
Vscode Apielements
VSCode extensions for API Elements (aka: API Blueprint and Swagger)
Stars: ✭ 117 (-15.22%)
Mutual labels:  vscode, vscode-extension
Vscode Language Pascal
Pascal language extension for Visual Studio Code
Stars: ✭ 117 (-15.22%)
Mutual labels:  vscode, vscode-extension
Coddx Alpha
Coddx - a collection of tools that help developers program efficiently. One of the features is generating multiple files from templates quickly.
Stars: ✭ 132 (-4.35%)
Mutual labels:  vscode, vscode-extension
Vscode Swift
An extension for VS Code which provides support for the Swift language.
Stars: ✭ 132 (-4.35%)
Mutual labels:  vscode, vscode-extension
View All Similar Projects ➔

Travis Contributing Code of Conduct Zulip Available on the VsCode marketplace Available on the Open VSX marketplace

VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant.

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

Features

  • Asynchronous proofs
  • Syntax highlighting
  • Commands: step forward, interpret to point, interrupt computation, queries, set display options, etc.
  • Diff view for proof-view: highlight which terms change between states
  • Smarter editing: does not roll back the state when editing whitespace or comments
  • Works with prettify-symbols-mode
  • Supports _CoqProject
  • LtacProf results treeview

Requirements

  • VsCode 1.30.0 or more recent
  • Coq 8.7.0 or more recent

Installation

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

Screenshots

vscoq

Instructions

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

Basic usage

  • if you use _CoqProject - start vscode via code my/project/root (or code . from the root folder of your project), or else select File|Open Folder... from vscode's menu.
  • step forward: alt+down
  • step backward: alt+up
  • interpret to point: alt+right
  • interpret to end: alt+end
  • interpret to home: alt+home
  • explore more commands: F1 and begin typing Coq:
  • vscode documentation

Settings

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

  • "coqtop.binPath": "" -- specify the path to coqtop (e.g. "path/to/coq/bin/")
  • "coqtop.args": [] -- an array of strings specifying additional command line arguments for coqtop
  • "coqtop.loadCoqProject": true -- set to false to ignore _CoqProject
  • "coqtop.coqProjectRoot": "." -- where to expect the _CoqProject relative to the workspace root

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 vscoq-0.3.2.vsix (or whatever version number) from the terminal.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].