verse-lab/lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean

Lean

44

213 commits

updated Feb 14, 2026

Contributors

155 commits

31 commits

15 commits

9 commits

Languages

Lean

99.9%

verse-lab/lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean

Lean

44

213 commits

updated Feb 14, 2026

Contributors

155 commits

31 commits

15 commits

9 commits

Languages

Lean

99.9%