|
|
This proof scripting language is suitable for interactive program verification. It supports the following control-flow constructs: |
|
|
\ No newline at end of file |
|
|
This proof scripting language is suitable for interactive program verification. |
|
|
\ No newline at end of file |