Add option to print standard Lean tactic script for SSR-Lean script - Githubissues

verse-lab / lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean

Apache License 2.0

31 stars 0 forks source link

Add option to print standard Lean tactic script for SSR-Lean script #4

Open dranov opened 8 months ago

dranov commented 8 months ago

In aesop, this seems to be handled by traceScript

Related files: