Lean4.js

[timqian]

最近在尝试把 Lean4 跑到浏览器里, 于是做了 Lean4.js ，欢迎需要的朋友使用和建议

• github: https://github.com/timqian/lean4.js
• playground: https://timqian.com/lean4.js/
• discussion: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/what.20is.20lean.2Ejs

[sillydaddy]

有点好奇 OP 准备把这个用在哪儿。程序员好像对这个都不感冒。

[timqian]

@sillydaddy 我就是玩 [Lean4 game]( https://adam.math.hhu.de/#/) 的时候发现 lean 没办法跑在浏览器里，需要启动服务器才行，然后经常遇到断联之类的问题，于是尝试做了的这个项目，希望可以直接在浏览器里跑 lean ，无需服务器。

不过目前状况下，跑最简单的 lean 代码也得 50 多秒，还不太可用 😅 搞不动了先开源下，后面兴趣了再来优化下