propositions-as-types topic
List
propositions-as-types repositories
leibniz
36
Stars
4
Forks
Watchers
Leibniz equivalence and Liskov substitutability library for Scala.
