用户可以通过名为定理模块的图形结构用正确性断言（correctness assertion）来评注他的程序框图，就像普通的程序框图一样，定理模块使用同样的程序框图元素来表达定理。
基于4个网页-相关网页
correctness assertion
正确性断言
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动