No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-user"></i> User Manual | <i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]] | ||
</p> | </p> | ||
The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.
Tutorial