Hi,

May I ask if there's a resource that goes over syntax differences between LEAN and Python?  

Thanks for any ideas!