search

verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean
Apache License 2.0
31 stars 0 forks source link

Some issues #2

Closed volodeyka closed 8 months ago

volodeyka commented 8 months ago