首页注册登录

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