Hacker News· atomicnature·· 2 小时前AI 评分55
LeanPort 发布 v0.1.1，把 Lean 4 已验证模块编译成 Go 可导入包
LeanPort – Bring Lean 4 proven modules into your Go projects
AI 导读
LeanPort 发布 v0.1.1，这是一个命令行工具，把 Lean 4 模块经证明检查、编译为 C 并打包成静态库，再生成 cgo 桥接和 Go API，使用方只需 Go、cgo 和 C 工具链，无需安装 Lean。
来源：Hacker News · github.com