“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.