Vendor
Leanprover
- Token
leanprover- UUID
db950cca-a0c3-52f1-894e-66cc98c34902
No vendor notes yet.
Explore Relationship graph
Explore approved relationships and the records in the combined view. Arrows follow the source → target direction; dashed links show ownership. The outlined node is the current record.
TipDrag nodes to arrange them, scroll to zoom, drag the background to pan. Double-click a group from Simplify graph to show its members.
Vulnerabilities
GCVE vulnerability lookup
Find vulnerabilities on db.gcve.eu for a specific vendor/product tuple, across versions. Choose a tuple from this record or its combined view.
Select a tuple and run a lookup.
Community
Approved metadata
- No approved metadata yet.
Community
Approved notes
- No approved notes yet.
Community
Approved relationships
- No approved relationships yet.
Catalog
Products
-
Lean4
(
2746d380-2f3a-5e58-919b-1f40e9004842) -
Vscode Lean4
(
0e0845e6-c53d-5c87-ab08-1c95a9f79f99)
Catalog
Combined products view
The all-products and all-CPE downloads include products from this combined view. Repeated exports may be up to one hour old.
This vendor does not currently have eligible vendor relationships for combined products
(canonical-of, equivalent-to, renamed-to, superseded-by, synonym-of, vendor-merge-into).
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.