Lean 证明助手

a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/lean-proof-assistant

1.7k 0JavaScript开发工具
平台VS Code

与 Lean 4 证明助手接口以做形式化定理验证。

VS Code

全部 skill