Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Prover9 Syntax HighlightNew to Visual Studio Code? Get it now.
Prover9 Syntax Highlight

Prover9 Syntax Highlight

XFY9326

|
540 installs
| (0) | Free
Prover9 is a resolution/paramodulation automated theorem prover for first-order and equational logic.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Prover9 Syntax Highlight

Syntax highlight for Prover9 (*.p9)

By default, only files with the p9 extension are automatically supported.
You can specific any file extension by yourself in VSCode.

Attention

This plugin is not official and will not be maintained for a long time.
If you just want to use simple syntax highlighting on p9 files, you can try this extension.

Github

VSCode-Prover9-Syntax-Highlight

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