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

Add Grothendieck construction #79

Open
wisnesky opened this issue Oct 12, 2018 · 0 comments
Open

Add Grothendieck construction #79

wisnesky opened this issue Oct 12, 2018 · 0 comments
Assignees
@wisnesky
Projects
First Release

Comments

@wisnesky
Copy link
Contributor

No description provided.

@wisnesky wisnesky self-assigned this Oct 12, 2018
@wires wires added this to Backlog in First Release Oct 29, 2018
@epost epost added core and removed core labels Oct 29, 2018
@wisnesky wisnesky moved this from Backlog to To do in First Release Oct 29, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wisnesky wisnesky

Labels
None yet
Projects
First Release
  
To do
Milestone
No milestone
Development

No branches or pull requests
2 participants
@epost @wisnesky