Skip to content

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

536b364
Select commit
Loading
Failed to load commit list.
Merged

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

[Lean] Rename user-facing options from Aeneas to Lean
536b364
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs