ZooWork Market · Skill

lean-proof-assistant

Interface to the Lean 4 proof assistant for formal theorem verification

◇

a5c-ai

a5c-ai-babysitter-lean-proof-assistant · v1.0.2

分类coding-agents-ides

安装次数21

更新时间2026-10-21T01:28:39.609Z

校验状态待验证

在 ZooWork 中使用返回目录