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 TODO in Level0.agda L166 #76

Closed
vikraman opened this issue Feb 21, 2021 · 1 comment
Closed

Prove TODO in Level0.agda L166 #76

vikraman opened this issue Feb 21, 2021 · 1 comment
Labels
Pi proof
Projects
Pi+

Comments

@vikraman
Copy link
Owner

No description provided.

@vikraman vikraman added this to To do in Pi+ via automation Feb 21, 2021
@inexxt
Copy link
Collaborator

inexxt commented Feb 26, 2021

Duplicate of #52

@inexxt inexxt marked this as a duplicate of #52 Feb 26, 2021
@inexxt inexxt closed this as completed Feb 26, 2021
Pi+ automation moved this from To do to Done Feb 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Pi proof
Projects
Pi+
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@vikraman @inexxt