leanscript.org · Entdeckt vor 1 Std.
LeanScript compiles Lean code into JavaScript that runs in the browser, Node.js, Cloudflare Workers, or anywhere else you can run JavaScript.
