All Categories → No Category → leibniz

Top 1 leibniz open source projects

Leibniz equivalence and Liskov substitutability library for Scala.

✭ 35

scala java equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types

1-1 of 1 leibniz projects