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