Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>PCSF syntax highlighting for Bootfrost proverNew to Visual Studio Code? Get it now.
PCSF syntax highlighting for Bootfrost prover

PCSF syntax highlighting for Bootfrost prover

Artem Davydov

|
3 installs
| (0) | Free
Positively Constructed Standardized Formulas (PCSF) file syntax highlighting for Bootfrost prover
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

PCSF Syntax Highlighting Extension

This extension provides syntax highlighting for files formatted in the positively constructed standardized formulas (PCSF) language, which can be utilized in the Bootfrost PCSF prover.

Features

  • Syntax Highlighting: Enjoy enhanced readability with syntax highlighting for various elements of PCSF, including quantifiers, variables, functions, and comments.
  • Customizable Colors: Easily modify the color scheme to fit your preferences through the settings.

Installation

You have three alternatives:

  1. Install it through VS Code Extension Marketplace. Just open extensions bar of your VScode and start typing "PCSF syntax..." and you should not be missing it.

  2. Download installable VSIX package file from releases section on github. Then just double click it and follow intallation steps. Or, go to extensions bar of your VScode, there you may find "Views and more Actions" button (usually in top right corner), and choose "Install from VSIX..." option, choose downloaded file and it should be installed.

  3. Clone repo and build it for your own. You will need the vsce tool: npm install -g @vscode/vsce, once installed run vsce package under extension folder.

Requirements

This extension is compatible with 1.97.0 version of VS Code.

Known Issues

  • Probably need to adjust the color palette, I'll be glad for suggestions.

Release Notes

0.2.0

Initial release of the PCSF syntax highlighting extension.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft