Automated theorem prover for first-order and equational logic
Build log · · This campaign
Planning log · · This campaign
pkgs/by-name/pr/prover9/package.nixtimeout
Full diagnostic
timeout
Direct dependencies
LADR-2009-11A.tar.gzbash-5.2p37stdenv-linuxversion-check-hookSelected dependents
None recorded.