l_group_validity 0.1.0

checking validity of l-group (in)equations
Documentation