Skip to content

Issues: UniMath/SymmetryBook

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

"ad" is not defined
#194 opened Aug 24, 2023 by ncfavier
The concept of homotopy type
#185 opened Jun 29, 2023 by marcbezem
Subscripts to \eqto
#182 opened Mar 2, 2023 by marcbezem
Rings and abstract rings
#176 opened Jan 26, 2023 by ghost
Moratorium on new global changes?
#161 opened Nov 28, 2022 by marcbezem
garbled text
#160 opened Nov 24, 2022 by DanGrayson
Identity crisis
#159 opened Nov 17, 2022 by marcbezem
chapter 3
#154 opened Sep 8, 2022 by DanGrayson
Theorem 3.1.2
#153 opened Sep 8, 2022 by DanGrayson
subtypes
#152 opened Sep 8, 2022 by DanGrayson
" merely "
#151 opened Sep 4, 2022 by DanGrayson
"merely"
#148 opened Aug 25, 2022 by DanGrayson
isnType
#147 opened Aug 18, 2022 by DanGrayson
Scope of chapter 8
#141 opened Jul 5, 2022 by ghost
Definition of Pythagorean fields
#140 opened Jul 2, 2022 by ghost
Sign homomorphism
#138 opened Mar 18, 2022 by UlrikBuchholtz
Epi-Mono decomposition for groups
#136 opened Jan 27, 2022 by marcbezem
ProTip! Add no:assignee to see everything that’s not assigned.