No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]] | <i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]] | ||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="fa fa-cog"></i> [[Developer 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.