LtacPearls

Pierre Letouzey edited this page Oct 12, 2017 · 13 revisions
Clone this wiki locally

General tactics

Domain specific tactics

  • RingTactics tactics for reasoning about ring structures
  • InTac tactic to prove the inclusion of list

Generic tactics

  • GenericTactics a few tactics letting the user define its domain specific tactics