This extension provides syntax highlighting support for NuITP script files (.nuitp).
NuITP is an inductive theorem prover for Maude equational specifications that combines powerful state-of-the-art techniques such as narrowing, equality predicates, constructor variant unification, order-sorted congruence closure, ordered rewriting, strategy-based rewriting, and several others in order to reason about Maude equational programs.
License
This extension is distributed under the GNU GPLv3 license.
See the LICENSE file for details.
Homepage
Features
- Syntax highlighting for NuITP commands.
- Language configuration for basic editing support.
- Lightweight and minimal by design.
Installation
- Open Visual Studio Code.
- Go to the Extensions view.
- Search for "NuITP" (publisher: jsapina).
- Install and reload VS Code.
Or use Install from VSIX… in the Extensions view of VS Code.