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.

leo3-bin

leo3 1.7.18 · pkgs/by-name/le/leo3-bin/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
1.7.18 no newer release in its git tags
Channels
master 1.7.18 · nixos-unstable 1.7.18 · nixos-26.05 1.2 master is ahead of nixos-26.05
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Automated theorem prover for classical higher-order logic with choice
Homepage
https://page.mi.fu-berlin.de/lex/leo3/
License
BSD-3-Clause
Platforms
24 platforms: Linux
Main program
leo3
Source provenance
binaryBytecode
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/le/leo3-bin/package.nix:28
Maintainers
7c6f434c
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.