2. V2EX
  3. Lean4.js

Lean4.js

timqian 2026-06-05 16:48 1

最近在尝试把 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

最新回复 (2)
  • sillydaddy 06-05 22:25
    1楼
    有点好奇 OP 准备把这个用在哪儿。程序员好像对这个都不感冒。
  • timqian 楼主 06-06 09:52
    2楼
    @sillydaddy 我就是玩 [Lean4 game]( https://adam.math.hhu.de/#/) 的时候发现 lean 没办法跑在浏览器里，需要启动服务器才行，然后经常遇到断联之类的问题，于是尝试做了的这个项目，希望可以直接在浏览器里跑 lean ，无需服务器。

    不过目前状况下，跑最简单的 lean 代码也得 50 多秒，还不太可用 😅 搞不动了先开源下，后面兴趣了再来优化下
* 帖子来源V2EX
附近帖子
返回
飞读
随机推荐