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


            
            # Organizational features


            In this section we introduce some organizational features of Lean that are not a part of its kernel per se,

            
            but make it possible to work in the framework more efficiently.
	# Organizational features

	In this section we introduce some organizational features of Lean that are not a part of its kernel per se,
	but make it possible to work in the framework more efficiently.