Skip to content

Pull requests: UniMath/UniMath

New pull request New
17 Open 1,405 Closed
17 Open 1,405 Closed
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
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

Deduplicate dirprodeq and total2_paths2
#1966 opened Dec 20, 2024 by arnoudvanderleer Loading…
1
1
WIP: Tutorials
#1965 opened Dec 20, 2024 by arnoudvanderleer • Draft
1
Mostly restore EquivalencMonCatNonCurried
#1701 opened May 24, 2023 by peterlefanulumsdaine • Draft
1
5
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
5
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
22
WIP: Smarter cache management for CI.
#1652 opened Mar 12, 2023 by m-lindgren • Draft
4
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…
10
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! Follow long discussions with comments:>50.