Leanman - LEAN-expert

Description:

Lean expert advisor

Try on GPT:

https://chat.openai.com/g/g-8xZHsVkhE-leanman-lean-expert