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.
もっと見る
