homebrew-stone-prover is a Homebrew tap that provides an easy way to install the Stone Prover.
-
Notifications
You must be signed in to change notification settings - Fork 0
`homebrew-stone-prover` is a Homebrew tap that provides an easy way to install the [Stone Prover](https://github.com/baking-bad/stone-prover).
License
MrRoudyk/homebrew-stone-prover
About
`homebrew-stone-prover` is a Homebrew tap that provides an easy way to install the [Stone Prover](https://github.com/baking-bad/stone-prover).
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published