diceprop (cargo): Mathematical properties for random testing
Keywords: testing|algebra|property|math|dicetest|property-based-testing|rust