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

Finish function cases #159

Merged
merged 7 commits into from
Aug 25, 2024
Merged

Finish function cases #159

merged 7 commits into from
Aug 25, 2024

Conversation

Ailrun
Copy link
Member

@Ailrun Ailrun commented Aug 22, 2024 •
edited
Loading

C.f. #113

@Ailrun Ailrun mentioned this pull request Aug 22, 2024
Closed
8 tasks
@Ailrun Ailrun force-pushed the pr-finish-function-cases branch from 624c4ad to d279b08 Compare August 24, 2024 19:36
HuStmpHrrr
HuStmpHrrr reviewed Aug 24, 2024
View reviewed changes
theories/LibTactics.v Outdated Show resolved Hide resolved
@Ailrun Ailrun merged commit c48ae4a into main Aug 25, 2024
2 checks passed
@Ailrun Ailrun deleted the pr-finish-function-cases branch August 25, 2024 23:59
@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