Skip to content

Pull requests: agda/cubical

New pull request New
53 Open 902 Closed
53 Open 902 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

Release for agda 2.7
#1206 opened May 9, 2025 by felixwellen Loading…
Prep for Agda 2.8.0: remove some spurious private agda Agda implementation issues
#1205 opened May 9, 2025 by andreasabel Loading…
Make join-assoc level-polymorphic
#1204 opened May 5, 2025 by ricky136973 Loading…
Strict order equational reasoning
#1203 opened Apr 18, 2025 by LorenzoMolena Loading…
Some properties of connected spaces
#1202 opened Mar 7, 2025 by phijor Loading…
4
Define Dagger categories
#1201 opened Mar 2, 2025 by anshwad10 Loading…
6 tasks done
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 Posetal Reflections
#1191 opened Feb 20, 2025 by anshwad10 • Draft
2
Remove duplicated lemma
#1189 opened Feb 18, 2025 by anshwad10 Loading…
Add Rezk Completion by HIT
#1188 opened Feb 16, 2025 by anshwad10 Loading…
1
Theory of Symmetric Groups
#1187 opened Feb 14, 2025 by anshwad10 Loading…
6
Book cauchy reals
#1182 opened Jan 22, 2025 by marcinjangrzybowski • Draft
2
Formalize Theorem 7.2.2 in the HoTT Book
#1180 opened Jan 15, 2025 by anshwad10 Loading…
Update Prelude.agda
#1179 opened Jan 12, 2025 by anshwad10 Loading…
11
Composition of left module homomorphisms
#1176 opened Dec 30, 2024 by mzhang28 Loading…
Lie algebra properties of generalised Whitehead products
#1170 opened Nov 15, 2024 by aljungstrom • Draft
Polynomials over rings with decidable equality
#1169 opened Nov 14, 2024 by felixwellen • Draft
MaxZX
#1167 opened Nov 12, 2024 by FranziskusWiesnet • Draft
4
Five lemma
#1166 opened Nov 6, 2024 by mzhang28 Loading…
4
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
Clean up code in BinProduct.
#1159 opened Oct 21, 2024 by anuyts Loading…
2
ProTip! Filter pull requests by the default branch with base:master.