[Lean] Add support for dyn #1708
Description
The solution should be inspired from the parent issue's discussion for the F* solution
{{ message }}
[Lean] Add support for
dyn #1708The solution should be inspired from the parent issue's discussion for the F* solution