Lasm: compilador de Lean 4 para JavaScript y WebAssembly
Lasm es una herramienta de compilación que permite traducir programas en Lean 4 a WebAssembly, facilitando la ejecución en entornos JavaScript y WebAssembly. A diferencia de otros compiladores, Lasm genera código ahead-of-time que puede desplegarse como servidores Node.js, funciones serverless, módu
