GitHub: TypeScript compiler and JavaScript engine in Lean
Posted 4 hours ago by
fagnerbrack
2
points
https://github.com/jessealama/thales
0
comments