Skip to content

Issues: HoTT/Coq-HoTT

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

91 Open 474 Closed
91 Open 474 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Generalize lhs, lhs_V, rhs and rhs_V to all transitive relations
#1950 opened May 3, 2024 by jdchristensen
Remove redundant fields from Ring algebra cleanup
#1945 opened May 2, 2024 by Alizter
Experiment with redefining bifunctors as uncurried functors wildcat
#1933 opened Apr 27, 2024 by Alizter
Spectral sequences algebra
#1932 opened Apr 27, 2024 by Alizter
5
Homological algebra lemmas algebra
#1931 opened Apr 27, 2024 by Alizter
3
Add _ $== _ :> _ notation exposing the underlying type of homs
#1928 opened Apr 24, 2024 by Alizter
Add break hints to =, ==, $==, $->
#1927 opened Apr 24, 2024 by Alizter
Tensor products of modules algebra
#1926 opened Apr 24, 2024 by Alizter
Use ViCaR to visualize terms in monoidal categories
#1922 opened Apr 17, 2024 by Alizter
3
Make pos and int unary cleanup discussion
#1913 opened Apr 10, 2024 by Alizter
25
Project: coherence for monoidal categories
#1896 opened Mar 10, 2024 by Alizter
10 tasks
4
Preservation of products wildcat
#1889 opened Mar 8, 2024 by Alizter
Generalise results about wedge for pointed categories task wildcat
#1888 opened Mar 8, 2024 by Alizter
Dependences of Nat/Core.v and DProp.v discussion library organization
#1882 opened Mar 6, 2024 by jdchristensen
4
HITs with rewrite rules discussion
#1868 opened Feb 21, 2024 by Alizter
11
Split HIT files into Core and lemmas
#1855 opened Feb 14, 2024 by Alizter
2
Generalise ExactSequence.v to a pointed wildcat with kernels feature request
#1798 opened Jan 1, 2024 by Alizter
1
experiment with Hint Constants Opaque in typeclass search
#1780 opened Oct 10, 2023 by jdchristensen
3
coqdoc section links don't work for alectryon and timing toc pages bug documentation
#1775 opened Oct 7, 2023 by jdchristensen
1
Generate coqdoc using Dune build system documentation
#1733 opened Mar 4, 2023 by Alizter
TODO remove floating universe in peano_naturals
#1722 opened Feb 25, 2023 by SkySkimmer
3
Get Program working feature request
#1649 opened May 7, 2022 by Alizter
Reversible coercions (+ canonical structures and typeclasses)
#1641 opened Mar 31, 2022 by Alizter
4
Duplicate warning annotations ci
#1607 opened Dec 20, 2021 by JasonGross
2
Remove some things from Set/Ordinals.v from global namespace?
#1567 opened Aug 6, 2021 by jdchristensen
9
ProTip! Add no:assignee to see everything that’s not assigned.