Skip to content

feat: extract_lets and lift_lets tactics #7346

feat: extract_lets and lift_lets tactics

feat: extract_lets and lift_lets tactics #7346

Annotations

1 warning

check-lean-files

succeeded Dec 31, 2024 in 25s