Projects in Awesome Lists tagged with program-equivalence
A curated list of projects in awesome lists tagged with program-equivalence .
https://github.com/rlepigre/pml
New version of the PML language and (classical) proof assistant
classical-logic ocaml pml program-equivalence proof-assistant
Last synced: 17 Aug 2025
