Pull requests: plt-amy/1lab
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
def: macros for creating copattern definitions
#376
opened Apr 14, 2024 by
TOTBWF
Loading…
3 tasks done
feat: Search context for
is-hlevel
proofs in hlevel!
, define generalized Disc!
#318
opened Dec 17, 2023 by
mmcqd
Loading…
3 tasks done
Left/Right Vertical Adjoints are (Op)Fibred, Optimize Diagram Fibration
#223
opened May 5, 2023 by
TOTBWF
Loading…
Duskin's Monadicity Theorem
category-theory
For issues/pull requests relating to the Cat.* namespace
enhancement
New feature or request
ProTip!
Mix and match filters to narrow down what you’re looking for.