cmu-l3/Leanimum-agent

The 100 line AI agent for proving theorems and writing prog…