用theorem proving造句子，“theorem proving”造句

Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.

Property verification is carried out using theorem proving systems.

Antecedent derivation is an extension of theorem proving.