npmjs.org : @arborium/lean : 0.900.0
Syntax highlighting for Lean, powered by WebAssembly
Registry -
Download -
JSON -
codemeta.json
Integrity: sha512-7vcHypXRVCx5iO3gZ2la... -
purl: pkg:npm/%40arborium/lean@0.900.0
Published:
Indexed:
Loading...
Readme
Loading...