prover9
⚗️ Formula Utilities v2009-11A
Automated theorem prover for first-order and equational logic
Installs (90 Days)
27
Page Views
0
Command Copies
0
Last Updated
yesterday
Installation
Install prover9 using Homebrew:
Install in Terminal
brew install prover9
Quick Stats
Category Utilities
Type Formula
Homebrew
Related Utilities Apps
python@3.13
PopularInterpreted, interactive, object-oriented programming language
Utilities v3.13.9