#

propositions-as-types

Here are 2 public repositories matching this topic...

hobwekiva / leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

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

Updated Mar 28, 2022
Scala

ghuysmans / ml_of_ipm

PoC compiler for the Incredible Proof Machine (http://incredible.pm)

proof-assistant propositional-logic propositions-as-types

Updated Jul 11, 2020
OCaml

Improve this page

Add a description, image, and links to the propositions-as-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the propositions-as-types topic, visit your repo's landing page and select "manage topics."