prover9 updates ยท pkgstoryVersion updates for prover9 (formula).https://pkgstory.dev/prover9 2009-11Ahttps://pkgstory.dev/homebrew-formula/prover9/#2009-11A/https://pkgstory.dev/homebrew-formula/prover9/#2009-11A/prover9 updated to 2009-11AMon, 23 Dec 2019 10:50:35 GMT