Jesse Alama
@alamajamn
加入 February 2026
14 正在關注 12 粉絲
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.
顯示更多
