Skip to content

feat: lift_match simproc and conv tactic #6064

feat: lift_match simproc and conv tactic

feat: lift_match simproc and conv tactic #6064

check-lean-files

succeeded Nov 5, 2024 in 23s