ประโยคภาษาจีน : 中文句子 |
---|
tā 它 yǎn shì 演示 le 了 shǎo liàng 少量 dài yǒu 带有 zì dòng huà 自动化 dìng lǐ 定理 zhèng míng 证明 gōng néng 功能 jīng guò 经过 yàn zhèng 验证 de 的 dài mǎ 代码 tā 它 néng gòu 能够 zhī chí 支持 rèn yì 任意 shù liàng 数量 de 的 dài mǎ 代码 |
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code. |