GitHub: TypeScript compiler and JavaScript engine in Lean
By fagnerbrack · 2026-07-18 · 2 points · 0 comments
https://github.com/jessealama/thales
By fagnerbrack · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews