propositions-as-types

There are 3 repositories under propositions-as-types topic.

sir-wabbit/leibniz
Leibniz equivalence and Liskov substitutability library for Scala.
Language:Scala36 6 04
eneoli/alice
A proof checker for constructive logic
Language:Rust30
ghuysmans/ml_of_ipm
PoC compiler for the Incredible Proof Machine (http://incredible.pm)
Language:OCaml5 0