lawz (hackage): Common mathematical laws
Keywords: bsd3|library|math|testing