Skip to content
Snippets Groups Projects

Improve tactic `convert_two_instants_into_instant_and_duration`

Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:improve_tactic into master
  1. Oct 04, 2021
Loading