# VSCode-Prover9-Syntax-Highlight

**Repository Path**: XFY9326/VSCode-Prover9-Syntax-Highlight

## Basic Information

- **Project Name**: VSCode-Prover9-Syntax-Highlight
- **Description**: Prover9 Syntax Highlight
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-12-10
- **Last Updated**: 2021-12-10

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Prover9 Syntax Highlight
[![vsmarketplacebadge](https://vsmarketplacebadge.apphb.com/version/xfy9326.prover9-syntax-highlight.svg)](https://marketplace.visualstudio.com/items?itemName=xfy9326.prover9-syntax-highlight)
[![Open in Visual Studio Code](https://open.vscode.dev/badges/open-in-vscode.svg)](https://open.vscode.dev/XFY9326/VSCode-Prover9-Syntax-Highlight)  
  
Syntax highlight for [Prover9](https://www.cs.unm.edu/~mccune/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](https://github.com/XFY9326/VSCode-Prover9-Syntax-Highlight)