feat(lean): add support for base expression of structs#1736
Merged
clementblaudeau merged 5 commits intomainfrom Oct 13, 2025
Merged
feat(lean): add support for base expression of structs#1736clementblaudeau merged 5 commits intomainfrom
clementblaudeau merged 5 commits intomainfrom
Commits
Commits on Oct 13, 2025
- committed
- committed
- authored andcommitted
- committed
- committed
