Skip to content

Improve tactic `convert_two_instants_into_instant_and_duration`

Sergey Bozhko requested to merge sbozhko/rt-proofs:improve_tactic into master

add cases with is_true _ in addition to cases with _ = true

Edited by Sergey Bozhko

Merge request reports