Skip to content
Snippets Groups Projects

Add destruct_or tactics to (possibly repeatedly) split disjunctions in an assumption

Merged Armaël Guéneau requested to merge Armael/stdpp:split_or into master
Loading