Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

cameronfreer/lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

Propriétaire: cameronfreer (compte personnel)
Étoiles: Étoiles : 477
Forks: Forks : 47
Langage: Python
Licence: MIT
Création: 2025
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Python

Tous les dépôts Python

AgentSkillOS/SkillAnythingÉtoiles : 477PythonAlpha
nv-tlabs/dvltÉtoiles : 477PythonAlpha
tudoumashu/ai-memory-skillpackÉtoiles : 477PythonAlpha
jaberg/skdataÉtoiles : 477PythonAlpha
not-kennethreitz/elephantÉtoiles : 477PythonAlpha
openedx/codejailÉtoiles : 477PythonAlpha