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.
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.