Skip to content

Issues: ecpeterson/FormalGeomNotes

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.

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

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Unstable E monad has bad indices
#105 opened Sep 15, 2024 by ecpeterson
Shore up 3.1.6
#104 opened Jun 10, 2024 by ecpeterson
Kick-off of 3.5.20 is confusing
#103 opened Apr 4, 2024 by ecpeterson
Replace Q/Z in A.4 with Q/S
#102 opened Apr 4, 2024 by ecpeterson
Justify 1 - psi^c in Fig A.2
#101 opened Feb 16, 2024 by ecpeterson
Cite Hovey on E-theory operations
#97 opened Jun 29, 2023 by ecpeterson
Bring Yanovski’s results back
#91 opened Mar 13, 2023 by ecpeterson
3.3.23 underbaked
#84 opened Dec 27, 2022 by ecpeterson
Clean up Footnote B.11
#76 opened Dec 24, 2021 by ecpeterson
Is 4.6.17 actually right?
#74 opened Oct 20, 2021 by ecpeterson
Add stubs for missing sections
#73 opened Sep 29, 2021 by ecpeterson
Prove description of omega in 5.6
#72 opened Sep 29, 2021 by ecpeterson
A.3.14: Vanishing, really?
#64 opened Jun 15, 2021 by ecpeterson
3.4 doesn't argue commutativity
#60 opened Feb 24, 2021 by ecpeterson
Extension in 1.4.20
#58 opened Jan 5, 2021 by ecpeterson
Explain quotient in 3.4.3
#45 opened Aug 21, 2020 by ecpeterson
Include Hopkins-Hunton
#43 opened Jul 8, 2020 by ecpeterson
Digest PJ's thesis
#42 opened Jul 8, 2020 by ecpeterson
Additive UFH
#38 opened May 2, 2020 by ecpeterson
ProTip! Find all open issues with in progress development work with linked:pr.