Thales – TypeScript compiler and JavaScript engine in Lean #1 Post by michaelkrem » Thu, Apr 30, 2026, 11:58 AM UTC Thales – TypeScript compiler and JavaScript engine in Leangithub.com