Forge VSCode Extension

This extension provides support for the Forge, a lightweight formal methods tool.

Amongst other things, this extension provides support for:

• Syntax highlighting
• Toadus Ponens, a support tool for educational settings.
• Cope and Drag a lightweight diagramming tool.