G github.com Thales – TypeScript compiler and JavaScript engine in Lean 10 points michaelkrem 6 months ago 0 comments