Skip to content

Home

Jump to bottom
Vladimir Gladstein edited this page Mar 22, 2024 · 6 revisions

Welcome to the LeanSSR wiki! Here you can find documentation for LeanSSR tactic DSL.

LeanSSR tactic DSL provides four major contributions:

  1. Intro Patterns
  2. Revert Patterns
  3. Rewrite Patterns
  4. Other SSReflect inspired tactics
Clone this wiki locally