Skip to content
Check for copyright header

feat: replace use of (evalTactic bv_omega) with a manual run of simp followed by (evalTactic omega) #62

Sign in to view logs

feat: replace use of (evalTactic bv_omega) with a manual run of simp followed by (evalTactic omega)

feat: replace use of (evalTactic bv_omega) with a manual run of simp followed by (evalTactic omega) #62

check-lean-files

check-lean-files
succeeded Sep 26, 2024 in 4s