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