org.typelevel:discipline-core_0.25 (maven): discipline
Keywords: property-based-testing|scala|typelevel