FPL, the Formal Proving Language, is a language to formulate mathematical definitions, theorems, and proofs independently of local natural languages.
This extension enables you to make use of advantages of an IDE like VS Code while writing code in FPL.
This is a Proof of Concept of a private reasearch project to develop such a language. For more information or code examples, see https://github.com/bookofproofs/fpl.net. In this repository, you will also find the source code for this extension.
Currently, the extension provides a basic syntax highlighting for .fpl files in the dark scheme.
VSCode version ">1.81.0"
Emitting error diagnostics directly from FplParser
Support for standard color themes
Update FPL Language Server to reflect FPL grammar 2.4.2
Bugfix syntax highlighting for comments
1.2.2, 1.2.3, 1.2.4, 1.2.5
Correcting logging and installation issues
Hooking up Fpl Parser to VSCode diagnostics
Shipping dotnet runtime dependency for linux, windows, and macOS x64 systems via download on demand
Shipping initial diagnostics for windows / 64 runtime
Fake diagnostics only! You can test them by opening and editing a fake .fpl file containing some nuspec code
The Language Server will show diagnostics for if your nuspec contains the text 'REPLACE'
Proof of Concept of a running Language Server thanks to Gary Ewan Park, Martin Björkström, and Bing AI-powered copilot :-)