Skip to main content

Use this tag for techniques related to finding a proof. Other tags to consider are *strategy*, *automatic*, *automated* and/or *automated-theorem-proving*.

References:
"Proof Search" Draft by Frank Pfenning (pdf)