verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean
34Updated this week

Alternatives and similar repositories for lean-ssr:

Users that are interested in lean-ssr are comparing it to the libraries listed below