Packages

Tree-sitter parser and queries for lean, compiled to WASM for Lumis

Current section

Activity

Jump to
Date Activity
Nov 03, 2026 Publish release 0.26.0
1 activity of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 10 20 30 40

this version

49

yesterday

7

last 7 days

49

all time

49

Last Updated

Nov 03, 2026

License

MIT

Build Tools

mix

Publisher

leandrocp leandrocp