lean-3.4.2_1.txz


Advertisement

Description

lean - Theorem prover

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename lean-3.4.2_1.txz
Package name lean
Package version 3.4.2
Package release 1
Package architecture amd64
Package type txz
Category math
Homepage https://leanprover.github.io/
License APACHE20
Maintainer yuri@FreeBSD.org
Download size 10.61 MB
Installed size 65.22 MB
Lean is an open source theorem prover and programming language being developed
at Microsoft Research. Lean 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. The mathematical components library mathlib for Lean is being
developed at Carnegie Mellon University.
WWW: https://leanprover.github.io/

Alternatives

Package Version Architecture Repository
lean-3.4.2_1.txz 3.4.2 i386 FreeBSD Ports Latest
lean-3.4.2_1.txz 3.4.2 i386 FreeBSD Ports Quarterly
lean-3.4.2_1.txz 3.4.2 amd64 FreeBSD Ports Quarterly
lean - - -

Requires

Name Value
gmp = 6.1.2_1
libgmp.so.10 -

Provides

Name Value
libleanshared.so -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package lean-3.4.2_1.txz
Source Package math/lean

Install Howto

Install lean txz package:

# pkg install lean

See Also

Package Description
leatherman-1.7.3.txz Leatherman C++ Tool library
led-2.0_1.txz Tiny text editor, with a number of useful programming features
ledger-3.1.1_17.txz John Wiegley's command line accounting program
ledgersmb-1.2.26_2.txz Double entry accounting system
ledit-2.03.txz Line editor to be used with interactive commands
leela-zero-0.17_4.txz Go engine without human-provided knowledge based on AlphaGo Zero paper
legend-of-edgar-1.32.txz 2D platform game with a persistent world
legesmotus-0.4.0_7.txz Team-based, networked, 2D shooter set in zero-gravity
lego-3.1.0.txz Let's Encrypt client and ACME library written in Go
leiningen-2.9.1.txz Automate Clojure projects
lemon-1.69.txz LALR(1) parser generator. Similar in function to yacc and bison
lemonbar-1.3_3.txz Lightweight xcb based bar
lens-0.2_2.txz Mail filter written in Ruby
lensfun-0.3.2_2.txz Library for fixing lens geometry distortions
leo_center-0.4.70_1.txz LeoFS Web console
Advertisement
Advertisement