sina-al/discrete-mathematics not found