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.

metis-prover

metis-prover 2.4.20200713 · pkgs/by-name/me/metis-prover/package.nix
Sign in to subscribe
Health
Risk
risk 15 medium
  • +8 2.4.20200713 is behind upstream 2.4.20260920
  • +6 no maintainer
  • +1 no versionCheckHook
Version
2.4.20200713 upstream 2.4.20260920
Channels
master 2.4.20200713 · nixos-unstable 2.4.20200713 · nixos-26.05 2.4.20200713 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Automatic theorem prover for first-order logic with equality
Homepage
https://www.gilith.com/research/metis/
License
MIT
Platforms
45 platforms: Linux, Darwin
Main program
metis
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/me/metis-prover/package.nix:32
Maintainers
none
Version bumps 0all open bumps
None open. Upstream has 2.4.20260920: how to update a package.
Pull requests 0
None open.
Issues 0
None open.