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.