GitHub repository: verse-lab/lean-ssr
Primary language: Lean
Description: LeanSSR: an SSReflect-Like Tactic Language for Lean