partly rescued monoid proof changes in unification, generators etc have percolated, the search is not robust.
partly rescued monoid proof
changes in unification, generators etc have percolated,
the search is not robust.

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround