A very simple vscode extension to add syntax highliting for the SPASS theorem prover.
I have created this extension to use it in the "logica e algebra" course at Politecnico di Milano, it is not meant to be production ready and I will probably abandon it once the I have finished the course.
I have used this as a reference for implementing the syntax.
- very crude syntax highliting for SPASS files.
- Recognized file extensions:
.dfg,.frm,.cnf,.dnf,.prf,.spass
None, for now...
Look here for releases.