#

program-equivalence

Here are 3 public repositories matching this topic...

rlepigre / pml

New version of the PML language and (classical) proof assistant

ocaml proof-assistant pml classical-logic program-equivalence

Updated Feb 13, 2026
OCaml

harp-project / Core-Erlang-Formalization

coq formalization core-erlang big-step-semantics small-step-semantics program-equivalence

Updated Feb 11, 2026
Rocq Prover

Intelligent-CAT-Lab / UIUCPlus

Evaluation task for 2024 UIUC+ undergraduate interns

mutation-testing program-analysis program-equivalence

Updated Aug 30, 2024
Java

Improve this page

Add a description, image, and links to the program-equivalence 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 program-equivalence topic, visit your repo's landing page and select "manage topics."