Mizar verification of generic algebraic algorithms | lit.salon