LeanMarathon

https://github.com/yuanhez/leanmarathon

End-to-end Lean blueprint generation and proof orchestration.

Tokens:49,327
Snippets:617
Trust Score:7.3
Update:1 week ago
Tokens:
Raw