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()
