Skillget
Explore
Submit Repo
Sign in with GitHub
EN
TR - Turkce
EN - English
1 results
agent
cmu-l3/Leanimum-agent
The 100 line AI agent for proving theorems and writing prog…
Pass
Owner:
cmu-l3
Language:
Python
Stars:
11
Rating:
0.0