This is exactly what we did with https://
leandojo.org and Lean co-pilot. check it out!

→ View original post on X — @animaanandkumar