No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
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. | 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. | ||
<p class="btn btn-lg btn-outline"> | |||
<i class="fa fa-road"></i> Tutorial | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="fa fa-user"></i> User Manual | |||
</p> | |||
<p class="btn btn-lg btn-outline"><i class="fa fa-cog"></i> Developer Manual</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
User Manual
Developer Manual