Geeks
T-Brick
/
lean2wasm
Tool for compiling Lean to WASM
Primary Language
Lean
MIT License
MIT
lean2wasm GitHub
Markdown
Readme
1
Issue
15
Stargazers
2
Watchers
Issues
Open issue
add examle with DOM manipulation
#1 opened
12 days ago
0