Skip to content

perf: resolve native symbols inside lean.wasm instead of exporting all of Lean - #16149

Draft
basvandijk wants to merge 18 commits into
leanprover:masterfrom
basvandijk:wasm-symbols
Draft

perf: resolve native symbols inside lean.wasm instead of exporting all of Lean#16149
basvandijk wants to merge 18 commits into
leanprover:masterfrom
basvandijk:wasm-symbols

chore: remove copyright statement in `script/wasm_symbols.py`

6f1180c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check-pr-body
succeeded Nov 2, 2026 in 4s