From 1909d6bb9ce9c3fc395b6e6a2473b1c3f9fde15f Mon Sep 17 00:00:00 2001 From: Franklin Harding Date: Tue, 23 Jun 2026 14:01:41 -0700 Subject: [PATCH] docs: update renamed #strataGenAST command to #strata_gen The #strataGenAST command was renamed to #strata_gen in #6 (commit 9cfb1dee9) for Lean naming convention compatibility, but docs/GettingStarted.md still referenced the old name. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --- docs/GettingStarted.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/GettingStarted.md b/docs/GettingStarted.md index bfcc18c53d..25809b2c74 100644 --- a/docs/GettingStarted.md +++ b/docs/GettingStarted.md @@ -44,7 +44,7 @@ assert [test]: (x == 0); The DDM also offers a capability to generate Lean types automatically from these definitions using the following command: ```bash -#strataGenAST ArithPrograms +#strata_gen ArithPrograms ``` For instance, we can see the generated type for expressions in