Unofficial sintax highlighting and code snippets extension for Spaß first order theorem prover.
Once the extension is installed, you can use its features by creating a new file with the .dfg, .sps or .spass extension or by manually setting the language mode to Spass. You can run your code here or you can run it locally if you have a local installation of Spass by using the Run Spass file button in the navbar or the equivalent command in the command palette. You can download Spass here.
! in order to run your code locally you must add Spass root folder to your PATH