{"schema_version":1,"metadata":{"branch":"current","release":"8.0","architecture":"amd64","generated_at":"2026-10-21T02:36:06.049247+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/snapshots/packages/amd64/sqlports-7.55.tgz","source_sha256":"a9ce8ec55a8fe364fc54ad95f17013a9932c665a6e50e55f31cee56f1d69cccc","package_count":12123,"source_kind":"sqlports"},"package":{"name":"lean-4.35.0","path":"math/lean","url":"/packages/current/math/lean/","comment":"interactive and automated theorem prover","homepage":"https://lean-lang.org/","maintainer":"Kirill A. Korinsky <kirill@korins.ky>","description":"Lean is an open source theorem prover and programming language.  It aims\nto bridge the gap between interactive and automated theorem proving, by\nsituating automated tools and methods in a framework that supports user\ninteraction and the construction of fully specified axiomatic proofs.\n","description_source":null,"description_unresolved":[],"package_architecture":"amd64","stem":"lean","readme":null,"dependencies":[{"path":"devel/gmp","type":"library","package_spec":"","url":"/packages/current/devel/gmp/"},{"path":"devel/libuv","type":"library","package_spec":"","url":"/packages/current/devel/libuv/"},{"path":"archivers/leangz","type":"build","package_spec":"","url":"/packages/current/archivers/leangz/"},{"path":"shells/bash","type":"build","package_spec":"","url":"/packages/current/shells/bash/"},{"path":"devel/git","type":"build","package_spec":"","url":"/packages/current/devel/git/"},{"path":"math/cadical","type":"build","package_spec":"","url":"/packages/current/math/cadical/"},{"path":"devel/cmake/core","type":"build","package_spec":"STEM->=4","url":"/packages/current/devel/cmake/core/"},{"path":"devel/gmake","type":"build","package_spec":"","url":"/packages/current/devel/gmake/"},{"path":"shells/bash","type":"test","package_spec":"","url":"/packages/current/shells/bash/"},{"path":"textproc/gdiff","type":"test","package_spec":"","url":"/packages/current/textproc/gdiff/"},{"path":"sysutils/coreutils","type":"test","package_spec":"","url":"/packages/current/sysutils/coreutils/"},{"path":"sysutils/ggrep","type":"test","package_spec":"","url":"/packages/current/sysutils/ggrep/"}],"reverse_dependencies":{"count":0,"url":null},"categories":["math","lang"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64","alpha","hppa"],"not_for_architectures":[]}}