batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: cooper resolution

Open kim-em opened this issue 1 year ago • 0 comments

This doesn't need review for now. This is a statement of "Cooper resolution" as used in Jovanović and de Moura's "Cutting to the chase". This may eventually end up in an alternative to omega.

  • [x] depends on #542

kim-em avatar Jan 18 '24 04:01 kim-em