Lean4.js - V2EX

Home Sign Up Sign In

爱意满满的作品展示区。

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

1 replies • 2026-06-05 22:25:04 +08:00

1

sillydaddy

7h 48m ago

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

About · Help · Advertise · Blog · API · FAQ · Solana · 940 Online Highest 6679 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 27ms · UTC 22:13 · PVG 06:13 · LAX 15:13 · JFK 18:13
♥ Do have faith in what you're doing.