More Automation¶

The `auto` Tactic¶

Searching For Hypotheses¶

The `eapply` and `eauto` variants¶

Table Of Contents

More Automation

Related Topics

Documentation overview
- Previous: Extracting C++ from Lean
- Next: Postscript

This Page

Show Source

Quick search

©2018, Pierce et al.. | Powered by Sphinx 1.7.2 & Alabaster 0.7.10 | Page source