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 writing the conjectures between Pi.U and UFin #19

Closed
vikraman opened this issue Dec 21, 2020 · 0 comments · Fixed by #46
Closed

Finish writing the conjectures between Pi.U and UFin #19

vikraman opened this issue Dec 21, 2020 · 0 comments · Fixed by #46
Assignees
@inexxt
Labels
definition Pi
Projects
Pi+

Comments

@vikraman
Copy link
Owner

No description provided.

@vikraman vikraman created this issue from a note in Pi+ (To do) Dec 21, 2020
@inexxt inexxt added the Pi label Dec 21, 2020
@vikraman vikraman added FSMG and removed FSMG labels Dec 21, 2020
@inexxt inexxt self-assigned this Jan 21, 2021
@inexxt inexxt linked a pull request Jan 21, 2021 that will close this issue
Fill in Conjectures #46
Merged
@inexxt inexxt moved this from To do to In progress in Pi+ Jan 21, 2021
Pi+ automation moved this from In progress to Done Jan 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@inexxt inexxt

Labels
definition Pi
Projects
Pi+
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fill in Conjectures vikraman/2DTypes
2 participants
@vikraman @inexxt