[Lean] Rename user-facing options from Aeneas to Lean#3630

zhassan-aws merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:aeneas-leanzhassan-aws/kani:aeneas-leanCopy head branch name to clipboard