Skip to content

Pull requests: agda/cubical

New pull request New
Clear current search query, filters, and sorts
50 Open 901 Closed
50 Open 901 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

2LTT, External Cubes and Cube Filling Macros
#910 opened Aug 23, 2022 by kangxyz • Draft
19
Beefing up adjunctions.
#873 opened Jul 28, 2022 by anuyts • Draft
18
Update Prelude.agda
#1179 opened Jan 12, 2025 by anshwad10 Loading…
11
Theory of Symmetric Groups
#1187 opened Feb 14, 2025 by anshwad10 Loading…
6
WildCat, Groupoid, Group - Solvers
#1119 opened Mar 24, 2024 by marcinjangrzybowski • Draft
6
Experiment with parallel checking using make
#1057 opened Sep 16, 2023 by felixwellen • Draft
5
Some properties of connected spaces
#1202 opened Mar 7, 2025 by phijor Loading…
4
Five lemma
#1166 opened Nov 6, 2024 by mzhang28 Loading…
4
Cubical reflection machinery and Solvers for Paths
#1150 opened Aug 28, 2024 by marcinjangrzybowski Loading…
4
Additions to the Powerset module
#1056 opened Sep 15, 2023 by rahulc29 • Draft
1
6
Cubical subtyping demo: get rid of inS/outS agda Agda implementation issues refactor Refactorings, e.g. renaming, moving, rearranging...
#906 opened Aug 19, 2022 by plt-amy • Draft
4
Devalapurkar & Haine
#1157 opened Sep 19, 2024 by Trebor-Huang Loading…
@ecavallo
5
Univalent Category of SETOIDs , Setoids are not LCCC
#1152 opened Sep 2, 2024 by marcinjangrzybowski • Draft
@maxsnew
6
Book cauchy reals
#1182 opened Jan 22, 2025 by marcinjangrzybowski • Draft
2
Clean up code in BinProduct.
#1159 opened Oct 21, 2024 by anuyts Loading…
2
Missed rename of Precat to WildCat
#1200 opened Feb 28, 2025 by anshwad10 Loading…
4
Decidable reachability for finite quivers
#1198 opened Feb 26, 2025 by stschaef Loading…
4
Strict monoidal categories are strict categories
#1196 opened Feb 22, 2025 by anshwad10 Loading…
1
Add Rezk Completion by HIT
#1188 opened Feb 16, 2025 by anshwad10 Loading…
1
Determinant and Adjugate Matrix
#1165 opened Oct 30, 2024 by FranziskusWiesnet Loading…
@felixwellen
7
Categories of propositions and sieves
#1163 opened Oct 28, 2024 by anuyts • Draft
3
Pour Cubical.Categories.Constructions into Instances #765
#1162 opened Oct 25, 2024 by anuyts Loading…
@maxsnew
1
CommAlgebras as CommRingHoms
#1145 opened Jul 30, 2024 by felixwellen • Draft
1
Containers, no h-set assumptions
#1141 opened Jul 23, 2024 by aljungstrom Loading…
2
Add --guardedness globally and remove Codata.Everything
#1139 opened Jun 24, 2024 by mortberg Loading…
1
ProTip! Filter pull requests by the default branch with base:master.