Asymptotic-code Sui-prover

1. Sui-Prover

To Install: brew install asymptotic-code/sui-prover/sui-prover

To Use: sui-prover [Options]

How do I install these formulas?

brew install asymptotic-code/sui-prover/<formula>

Or brew tap asymptotic-code/sui-prover and then brew install <formula>.

Or, in a brew bundle Brewfile:

tap "asymptotic-code/sui-prover"
brew "<formula>"

Documentation

brew help, man brew or check Homebrew's documentation.