All Categories → No Category → propositions-as-types

Top 1 propositions-as-types 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 propositions-as-types projects