Maintainer Mode
Sign in with GitHub

leo2

leo2 1.7.0 · pkgs/applications/science/logic/leo2/default.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
1.7.0 no newer release known to repology
Channels
master 1.7.0 · nixos-unstable 1.7.0 · nixos-26.05 1.7.0 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
High-performance typed higher order prover
Homepage
http://www.leoprover.org/
License
BSD-3-Clause
Platforms
45 platforms: Linux, Darwin
Main program
leo
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/applications/science/logic/leo2/default.nix:65
Maintainers
7c6f434c
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.