Geeks
T-Brick
/
lean2wasm
Tool for compiling Lean to WASM
Primary Language
Lean
MIT License
MIT
lean2wasm GitHub
Markdown
Readme
0
Issues
15
Stargazers
2
Watchers
Stargazers
alcides
LASIGE, University of Lisbon
algebraic-dev
alstrup
Area9
anosatsuk124
Menhera.org
bwbush
@input-output-hk
cannadayr
DenisGorbachev
Spire
dzmitry-lahoda
portugal
James-Oswald
@RAIRLab
joewatt95
moritayasuaki
L
Seasawher
Proxima Technology
SnO2WMaN
チルノのパーフェクトさんすう教室
sunny-g
@NearSpaceLabs
utensil