oOo0oOo

oOo0oOo/lean-lsp-mcp

Lean Theorem Prover MCP

⭐ 478 ⑂ 76 Python MIT · 3 天前推送
478
Watchers
0
贡献者
0
Commits
0
Releases
0
Open Issues
3 天前
最近推送
原文 中文
暂无 README