Para openSUSE Tumbleweed execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/science.repo
zypper refresh
zypper install lean4
Para openSUSE Factory PowerPC execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/science.repo
zypper refresh
zypper install lean4
Para 16.0 execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/science/16.0/science.repo
zypper refresh
zypper install lean4