GitHub: TypeScript compiler and JavaScript engine in Lean #1 Post by fagnerbrack » Sat, Jul 18, 2026, 10:45 AM UTC GitHub: TypeScript compiler and JavaScript engine in Leangithub.com