Menu
Publisher

bookofproofs

bookofproofs

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions1Distinct extension identifiers across registries
Marketplace installs94Total from all extensions
Open VSX downloads—No active listings observed

Extensions

VS Marketplace Sync:
Extensions under bookofproofs. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
ExtensionVS MarketplaceOpen VSX
FPL (Formal Proving Language)bookofproofs.fpl-vscode-extension
Installs
940.0% · 7d
Rating
—
Category rank
>1,000 · Education
Latest
v5.1.1 ·
Not listed