Open Issues Need Help
View All on GitHub Terminated processes and linking about 2 months ago
enhancement good first issue new feature concurrency
Rocq Prover
#big-step-semantics#coq#core-erlang#formalization#program-equivalence#small-step-semantics
Function identifiers about 2 months ago
enhancement good first issue frame stack
Rocq Prover
#big-step-semantics#coq#core-erlang#formalization#program-equivalence#small-step-semantics
Side effect traces about 2 months ago
enhancement good first issue frame stack
Rocq Prover
#big-step-semantics#coq#core-erlang#formalization#program-equivalence#small-step-semantics
Exception conversion to tuples about 2 months ago
good first issue invalid big-step frame stack
Rocq Prover
#big-step-semantics#coq#core-erlang#formalization#program-equivalence#small-step-semantics