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

Triggered via pull request September 26, 2024 18:30
@bollubollu
opened #195
replace-simp-mem-eval-tactic
Status Success
Total duration 13s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
4s
check-lean-files
Fit to window
Zoom out
Zoom in