GitHub - Millillion/lasm: Lean for JavaScript and WebAssembly runtimes

Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs that understand formal verification and its programming…