-
Notifications
You must be signed in to change notification settings - Fork 170
Pull requests: UniMath/UniMath
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add the construction of a Lawvere theory from an algebraic theory
#1901
opened Jul 1, 2024 by
arnoudvanderleer
Loading…
Formalize the construction of a one-object category from a monoid
#1899
opened Jun 28, 2024 by
arnoudvanderleer
Loading…
Make the app, var and lambda notation print-only and make sure they actually work
#1898
opened Jun 27, 2024 by
arnoudvanderleer
Loading…
Replace
-type-in-type by #[local] Unset Universe Checking in all necessary files
under discussion
#1698
opened May 24, 2023 by
peterlefanulumsdaine
Loading…
Replace
-type-in-type with Export Unset Universe Checking in UniMath.Foundations.Init
under discussion
#1697
opened May 22, 2023 by
peterlefanulumsdaine
Loading…
Fix possible typo — double-sufficed make targets,
UniMath/Foundations/Preamble.v.vo etc.
#1692
opened May 14, 2023 by
peterlefanulumsdaine
Loading…
Add a (work in progress) package on model categories / weak factorization systems
#1688
opened Apr 26, 2023 by
DenSinH
Loading…
WIP: Add Alectryon to build system to allow for automated creation of interactive HTML documentation.
#1671
opened Mar 24, 2023 by
Bigstep22
Loading…
WIP: identifies developments that can be done with CAT
#1397
opened Sep 30, 2021 by
rmatthes
Loading…
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…
Monoidal structure on cartesian categories
waiting for update to pull request
#1031
opened Oct 28, 2018 by
langston-barrett
Loading…
ProTip!
Follow long discussions with comments:>50.