verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean
32Updated 2 months ago

Related projects

Alternatives and complementary repositories for lean-ssr