nixsearch
nixsearch / pkg / metis-prover / 2.3.20160713

metis-prover 2.3.20160713

Automatic theorem prover for first-order logic with equality
Linux and macOS (Intel only) last changed

Pin this version

$ devbox add metis-prover@2.3.20160713
systemsx86_64-darwin, x86_64-linux commit81094ccd6a0aa13ed176c815a60c4e25b49f072d 
$ nix shell github:NixOS/nixpkgs/81094ccd6a0aa13ed176c815a60c4e25b49f072d#metis-prover

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 metis-prover 81094ccd6a0a
out
/nix/store/p0y7mb7syws5a9ygyd2qvyds954bg1pj-metis-prover-2.3.20160713
x86_64-linux
Linux · x86-64		 metis-prover 81094ccd6a0a
out
/nix/store/62jljmr0p9hqv6rh84f4765axlq2wiiv-metis-prover-2.3.20160713
← newer: 2.4.20200713 all 2 releases

JSON: /v2/pkg?name=metis-prover · /v2/resolve?name=metis-prover&version=2.3.20160713