Skip to content

Pull requests: UniMath/UniMath

New pull request New
16 Open 1,345 Closed
16 Open 1,345 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Composition of enriched profunctors
#1882 opened May 3, 2024 by nmvdw Loading…
Mostly restore EquivalencMonCatNonCurried
#1701 opened May 24, 2023 by peterlefanulumsdaine • Draft
1
4
Replace -type-in-type by #[local] Unset Universe Checking in all necessary files
under discussion
#1698 opened May 24, 2023 by peterlefanulumsdaine Loading…
10
Replace -type-in-type with Export Unset Universe Checking in UniMath.Foundations.Init
under discussion
#1697 opened May 22, 2023 by peterlefanulumsdaine Loading…
9
Fix possible typo — double-sufficed make targets, UniMath/Foundations/Preamble.v.vo etc.
#1692 opened May 14, 2023 by peterlefanulumsdaine Loading…
@DanGrayson
3
Add a (work in progress) package on model categories / weak factorization systems
#1688 opened Apr 26, 2023 by DenSinH Loading…
16
WIP: Add Alectryon to build system to allow for automated creation of interactive HTML documentation.
#1671 opened Mar 24, 2023 by Bigstep22 Loading…
@DanGrayson
8
WIP: Smarter cache management for CI.
#1652 opened Mar 12, 2023 by m-lindgren • Draft
2
File by file type in type universe monomorphic
#1503 opened Apr 27, 2022 by DanGrayson • Draft
Set-enriched categories
#1467 opened Mar 6, 2022 by umedaikiti Loading…
29
WIP: an illustration that beta-reduction for pairs is problematic
#1407 opened Nov 6, 2021 by rmatthes • Draft
8
WIP: identifies developments that can be done with CAT
#1397 opened Sep 30, 2021 by rmatthes Loading…
7
WIP: the subcategory of omega-cocontinuous functors
#1384 opened Sep 3, 2021 by rmatthes • Draft
4
Displayed precategories, the displayed precategory of categories
needs new champion Needs a new volunteer to make necessary changes, in order to proceed further waiting for update to pull request
#1221 opened Apr 28, 2019 by langston-barrett Loading…
7
Proposal for a new package: Books
#1212 opened Apr 21, 2019 by langston-barrett Loading…
10
Monoidal structure on cartesian categories
waiting for update to pull request
#1031 opened Oct 28, 2018 by langston-barrett Loading…
13
ProTip! Type g i on any issue or pull request to go back to the issue listing page.