Leibniz equivalence and Liskov substitutability library for Scala.
- gadt
- liskov-subsititution
- scala
- variance
- dependent-types
- subtyping
- witnesses
- leibniz
- equality
- existential-types
- liskov-substitution-principle
- propositions-as-types
Scala versions:
2.12
Latest version
[](https://index.scala-lang.org/sir-wabbit/leibniz/leibniz)
JVM badge
[](https://index.scala-lang.org/sir-wabbit/leibniz/leibniz)