mizar-lean-sl documents