Skip to content

feat: lift_match simproc and conv tactic #6060

feat: lift_match simproc and conv tactic

feat: lift_match simproc and conv tactic #6060

check-lean-files

succeeded Nov 5, 2024 in 22s