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 postulates in Equiv1Norm.agda #58

Closed
vikraman opened this issue Jan 25, 2021 · 0 comments · Fixed by #81
Closed

Prove postulates in Equiv1Norm.agda #58

vikraman opened this issue Jan 25, 2021 · 0 comments · Fixed by #81
Assignees
@sabry
Labels
Pi proof
Projects
Pi+

Comments

@vikraman
Copy link
Owner

No description provided.

@vikraman vikraman added this to To do in Pi+ via automation Jan 25, 2021
@inexxt inexxt mentioned this issue Feb 26, 2021
Merged
@inexxt inexxt linked a pull request Feb 26, 2021 that will close this issue
Level 2 #71
Merged
@inexxt inexxt mentioned this issue Feb 26, 2021
Merged
Pi+ automation moved this from To do to Done Feb 26, 2021
@inexxt inexxt removed a link to a pull request Feb 26, 2021
Level 2 #71
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sabry sabry

Labels
Pi proof
Projects
Pi+
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Finish Equiv1NormHelpers vikraman/2DTypes
2 participants
@vikraman @sabry