FPL (Formal Provling Language)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. FeaturesCurrently, the extension provides a basic syntax highlighting for RequirementsVSCode version ">1.81.0" Extension SettingsNone Known Issues
Release Notes1.2.9
1.2.8
1.2.7
1.2.6
1.2.2, 1.2.3, 1.2.4, 1.2.5
1.2.1
1.2.0
1.1.1
1.1.0
1.0.0Syntax highlighting |