GoForum
☀️ 极简
🌙 夜间
🚀 NodeSeek
💙 雾蓝极简
🍑 白桃清柔
🌳 森林叶绿
🌸 樱夜粉紫
🌊 深海蓝调
LINEN 亚麻浅暖
Glacier 冰川白蓝
Mocha 摩卡拿铁
Pastel 天空粉蓝
Steel 银灰金属
首页
注册
登录
GoForum
›
🌐 V2EX
Lean4.js
timqian
· 2026-06-05 16:53 · 0 次点赞 · 0 条回复
最近在尝试把 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
0 条回复
添加回复
你还需要
登录
后发表回复
登录后可发帖和回复
登录
注册
主题信息
作者: timqian
发布: 2026-06-05
点赞: 0
回复: 0
编辑评论
取消
保存修改