Jesse Alama
@alamajamn
Joined February 2026
14 Following 12 Followers
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. I'm building a bridge for TS programmers into Lean's program verification toolset. Check out to get started.
Show more
