Paulo Matos on Mythryl: “Exciting work by Jesse bridging TypeScript with Formal Verification…”

Exciting work by Jesse bridging TypeScript with Formal Verification via Lean. 👀

I'm happy to announce Thales, a TypeScript compiler and JS engine in Lean. Thales compiles a subset of TypeScript to Lean via a shallow embedding. Thales is a bridge for TS programmers into Lean's program verification toolset. Check out github.com/jessealama/t... to get started.

github.comgithub.com

30/4/26, 11:09 am0 reposts3 likes

Post