Leibniz equivalence and Liskov substitutability library for Scala.
- witnesses
- liskov-substitution-principle
- subtyping
- dependent-types
- gadt
- equality
- leibniz
- scala
- existential-types
- variance
- propositions-as-types
- liskov-subsititution
Scala versions:
2.12
Latest version
[![leibniz Scala version support](https://index-dev.scala-lang.org/hobwekiva/leibniz/leibniz/latest.svg)](https://index-dev.scala-lang.org/hobwekiva/leibniz/leibniz)
JVM badge
[![leibniz Scala version support](https://index-dev.scala-lang.org/hobwekiva/leibniz/leibniz/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/hobwekiva/leibniz/leibniz)