Leibniz equivalence and Liskov substitutability library for Scala.
Primary LanguageScalaMIT LicenseMIT