search

verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean
Apache License 2.0
31 stars 0 forks source link

Code smell: `kpattern` and `kpatternType` are almost identical #14

Open dranov opened 7 months ago