Skip to content

Proving equivalence of big-step and frame stack semantics #21

New issue
New issue
Open
Open
Proving equivalence of big-step and frame stack semantics#21
Assignees
breadking99
Labels
big-stepenhancementNew feature or requestframe stack
@berpeti

Description

@berpeti
berpeti
opened on Aug 8, 2023
No description provided.

Metadata

Metadata

Assignees

Labels

big-stepenhancementNew feature or requestframe stack

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions