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