Maintainer Mode
Sign in with GitHub

tptp

TPTP 9.1.0 · pkgs/by-name/tp/tptp/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
9.1.0 no newer release known to repology
Channels
master 9.1.0 · nixos-unstable 9.1.0 · nixos-26.05 9.1.0 no channel is behind master
Hydra
no finished build of nixpkgs/unstable/tptp.x86_64-linux
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Thousands of problems for theorem provers and tools
Homepage
https://tptp.org/TPTP/
License
unfreeRedistributable unfree
Platforms
79 platforms: Linux, Darwin
Source provenance
binaryNativeCode
Outputs
out
Status
unfree
Position
pkgs/by-name/tp/tptp/package.nix:56
Maintainers
7c6f434c
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.