Lean 2 (HoTT mode), release build for Linux x86_64.
Upstream commit: 8072fdf9a0b31abb9d43ab894d7a858639e20ed7
Source: https://github.com/leanprover/lean2/tree/8072fdf9a0b31abb9d43ab894d7a858639e20ed7
License: Apache License 2.0. See LICENSE.
This directory contains the executable and the compiled HoTT library modules.
The executable dynamically links glibc, libstdc++, MPFR, and GMP.
