Skip to content

feat: solve typeclass subgoals in reverse order#64

Closed
dselsam wants to merge 1 commit intoleanprover:masterfrom dselsam:typeclass_reverse
+14-16

Commits

Commits on Nov 9, 2019