feat(library/init/lean/typeclass): #synth with tabled resolution#37
Closed
dselsam wants to merge 13 commits intoleanprover:masterfrom dselsam:tc_merge
+988-11
Commits
Commits on Oct 3, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
