verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean
31Updated last month

Related projects

Alternatives and complementary repositories for lean-ssr