AlphaPeu commune
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
- Propriétaire
- oOo0oOo (compte personnel)
- Étoiles
- Étoiles : 546
- Forks
- Forks : 84
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Sujets
- lean4lspmcp
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- microsoft/Resource2SkillÉtoiles : 546PythonAlpha
- autonomous-ai/lampOSÉtoiles : 546PythonAlpha
- 88lin/computer-repair-skillÉtoiles : 546PythonAlpha
- edgewall/tracÉtoiles : 546PythonAlpha
- Kilian/f.lux-indicator-appletÉtoiles : 546PythonAlpha
- rspivak/slimitÉtoiles : 546PythonAlpha