Open Issues Need Help
View All on GitHub Terminated processes and linking 3 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 3 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 3 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 3 months ago
good first issue invalid big-step frame stack
Rocq Prover
#big-step-semantics#coq#core-erlang#formalization#program-equivalence#small-step-semantics