The user shares their experience reading multiple books on Lean, a programming language, and provides guidance on how to approach learning it, including suggested reading orders and recommendations for different skill levels. They also mention various resources, including books, games, and interactive tools, that can help users learn Lean and formalize mathematics.