Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

lean2

lean2 2018-10-01 · pkgs/by-name/le/lean2/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
2018-10-01 no newer release known to repology
Channels
master 2018-10-01 · nixos-unstable 2018-10-01 · nixos-26.05 2018-10-01 no channel is behind master
Hydra
succeeded 7w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Automatic and interactive theorem prover (version with HoTT support)
Homepage
http://leanprover.github.io
License
Apache-2.0
Platforms
45 platforms: Linux, Darwin
Main program
lean
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/le/lean2/package.nix:72
Maintainers
thoughtpolice
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.