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