doc/tpil.md - third_party/github.com/leanprover/lean4 - Git at Google


            
            Theorem Proving in Lean

            
            =======================


            We strongly encourage you to read the book [Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean4/title_page.html).

            
            Many Lean users consider it to be the Lean Bible.
	Theorem Proving in Lean
	=======================

	We strongly encourage you to read the book [Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean4/title_page.html).
	Many Lean users consider it to be the Lean Bible.