“theorem proving”造句，怎麼用theorem proving造句

Antecedent derivation is an extension of theorem proving.

Property verification is carried out using theorem proving systems.

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