Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prove per escape lemma along gluing #151

Merged
merged 4 commits into from
Aug 7, 2024
Merged

Prove per escape lemma along gluing #151

merged 4 commits into from
Aug 7, 2024

Conversation

Ailrun
Copy link
Member

@Ailrun Ailrun commented Aug 1, 2024

This will be used later for #136. More specifically, this one is a step towards subtyping escape lemma.

@Ailrun Ailrun merged commit 2c2bca2 into main Aug 7, 2024
2 checks passed
@Ailrun Ailrun deleted the pr-equivalence-lemma branch August 7, 2024 14:36
@Ailrun Ailrun mentioned this pull request Aug 7, 2024
Closed
4 tasks
@Ailrun Ailrun added this to the Port NbE proof from Agda to Coq milestone Sep 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@HuStmpHrrr HuStmpHrrr HuStmpHrrr left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Port NbE proof from Agda to Coq
Development

Successfully merging this pull request may close these issues.
2 participants
@Ailrun @HuStmpHrrr