Basic Features of Proof Search
Strength of Proof Search
four proof-search tactics:
auto
,eauto
,iauto
andjauto
.
How Proof Search Works
Search Depth
Backtracking
Adding Hints
Integration of Automation in Tactics
Example Proofs
Advanced Topics in Proof Search
###
Decision Procedures
Omega
Ring
Congurence
☛兄dei,请我喝杯茶☚