Skip to content

Pull requests: agda/cubical

New pull request New
43 Open 897 Closed
43 Open 897 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

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties
#1184 opened Feb 9, 2025 by anshwad10 Loading…
1
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…
Reduced homology of CW complexes
#1175 opened Dec 22, 2024 by loic-p 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
WellFounded: Well-founded relations are irreflexive.
#1158 opened Sep 24, 2024 by shlevy Loading…
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
3
Cubical reflection machinery and Solvers for Paths
#1150 opened Aug 28, 2024 by marcinjangrzybowski Loading…
4
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
WildCat, Groupoid, Group - Solvers
#1119 opened Mar 24, 2024 by marcinjangrzybowski • Draft
6
Opaque FreeCommAlgebra
#1089 opened Jan 19, 2024 by MatthiasHu • Draft
Towards schemes of finite presentation without size issues
#1080 opened Nov 17, 2023 by mzeuner • Draft
3
Clear Up Fillers
#1061 opened Sep 21, 2023 by kangxyz Loading…
ProTip! Add no:assignee to see everything that’s not assigned.