Simpler unifiers for equations with fewer variables on one of the sides#2
Open
robertkleffner wants to merge 7 commits into
Open
Simpler unifiers for equations with fewer variables on one of the sides#2robertkleffner wants to merge 7 commits into
robertkleffner wants to merge 7 commits into
Commits
Commits on Jan 14, 2022
Commits on Jan 15, 2022
- committed
- committed
- committed
- authored
- committed