finish reading lean.org intro docs, moving to theorem proving#6

von-steinkirch merged 3 commits intomainfuture-ai-org/lean4-toolkit:mainfrom

lean-org-bookfuture-ai-org/lean4-toolkit:lean-org-bookCopy head branch name to clipboard