def upgrade_mathlib() -> None: """Upgrade mathlib (as a dependency or as the main project).""" try: proj().upgrade_mathlib() except LeanDownloadError as err: handle_exception(err, 'Failed to fetch mathlib oleans') except InvalidLeanProject: project = LeanProject.user_wide(cache_url, force_download) project.upgrade_mathlib()
def global_upgrade() -> None: """Upgrade user-wide mathlib""" proj = LeanProject.user_wide(cache_url, force_download) proj.upgrade_mathlib()
def global_install() -> None: """Install mathlib user-wide.""" proj = LeanProject.user_wide(cache_url, force_download) proj.add_mathlib()