program-equivalence

There are 0 repository under program-equivalence topic.

• rlepigre / pml

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

  pmlproof-assistantocamlclassical-logicprogram-equivalence
  Language:OCaml 20

• harp-project / Core-Erlang-Formalization

  coqformalizationcore-erlangbig-step-semanticsprogram-equivalencesmall-step-semantics
  Language:Rocq Prover 12

• Intelligent-CAT-Lab / UIUCPlus

  Evaluation task for 2024 UIUC+ undergraduate interns

  mutation-testingprogram-analysisprogram-equivalence
  Language:Java 9