# The math/lean port

## lean-3.48.0 – interactive and automated theorem prover

## Description

    Lean is an open source theorem prover and programming language.  It aims
    to bridge the gap between interactive and automated theorem proving, by
    situating automated tools and methods in a framework that supports user
    interaction and the construction of fully specified axiomatic proofs.

WWW: https://leanprover-community.github.io

Only for arches
  aarch64 aarch64 alpha amd64 amd64 arm arm hppa i386 i386 mips64 mips64 mips64el mips64el powerpc powerpc powerpc64 powerpc64 riscv64 riscv64 sparc64
Categories:
  lang lang/python math

## Library dependencies

- devel/gmp,-main

## Build dependencies

- devel/cmake
- devel/ninja
- lang/python/3.9

## Run dependencies