Wojciech Różowski
|
e8c3485e08
|
fix: cbv getting stuck after a rewrite of cbv_opaque function (#13122)
This PR fixes `cbv` tactic getting stuck after rewriting functions
marked with `cbv_opaque` that have a `cbv_eval` lemma registered.
|
2026-03-25 18:13:13 +00:00 |
|