Thales – TypeScript compiler and JavaScript engine in Lean

(github.com)

8 points | by michaelkrem 13 hours ago ago

No comments yet.