cameronfreer

Githubhttp://cfreer.org/Followers 52

代码库

cameronfreer/lean4-skills

471

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

Python