satallax

satallax 2.7 · pkgs/by-name/sa/satallax/package.nix

Sign in to subscribe

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

2.7 no newer release known to repology

Channels

master 2.7 · nixos-unstable 2.7 · nixos-26.05 2.7 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Automated theorem prover for higher-order logic

Homepage

http://www.ps.uni-saarland.de/~cebrown/satallax/index.php

Download page

http://www.ps.uni-saarland.de/~cebrown/satallax/downloads.php

License

Platforms

45 platforms: Linux, Darwin

Main program

satallax

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/sa/satallax/package.nix:108

Maintainers

Version bumps 0all open bumps

None open.

Pull requests 1

various: migrate ocaml packages to by name draft

#492916 by guylamar2006 · opened 7mo ago

Closed or merged in the synced window 1

coqPackages: add deprecation warnings for aliases

#556669 by Zimmi48 · merged 3d ago

Issues 0

None open.