Skip to content

Add tactic `tc_solve`.

Robbert Krebbers requested to merge robbert/tc_solve into master

This is iSolveTC from Iris. I think it's good to move this tactic to std++ because it is not specific to Iris.

Also I used the tc_ prefix to be consistent with other type class related utilities in std++.

Merge request reports