script/lib/README.md - third_party/github.com/leanprover/lean4 - Git at Google


            
            This directory contains various scripts that are *not* meant to be called

            
            directly, but through other scripts or makefiles.
	This directory contains various scripts that are not meant to be called
	directly, but through other scripts or makefiles.