Skip to content
Check for copyright header

fix: make rewrite/rw tactic abort on elaboration errors #8347

Sign in to view logs

fix: make rewrite/rw tactic abort on elaboration errors

fix: make rewrite/rw tactic abort on elaboration errors #8347

check-lean-files

check-lean-files
succeeded Jan 31, 2025 in 24s