Skip to content

Prove the correctness of more simple local refactorings #23

New issue
New issue
Open
Open
Prove the correctness of more simple local refactorings#23
Labels
frame stacknew feature
@berpeti

Description

@berpeti
berpeti
opened on Aug 9, 2023

Currently some examples are implemented in src/FrameStack/Examples.v.

Metadata

Metadata

Assignees

No one assigned

    Labels

    frame stacknew feature

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions