Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Pull requests: agda/cubical

New pull request New
49 Open 1,000 Closed
49 Open 1,000 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

added a decomposition of the generated ideal.
#1317 opened Jun 30, 2026 by Freek98 Contributor Loading…
added trivialQuotient->1\inI
#1316 opened Jun 25, 2026 by Freek98 Contributor Loading…
perf: compact normal form of CommAlgebra baseChange
#1314 opened Jun 19, 2026 by plt-amy Contributor Loading…
1
Normalised Q plus related
#1313 opened Jun 17, 2026 by reswatson Contributor Loading…
3
Truncated logarithm over the natural numbers
#1311 opened Jun 2, 2026 by LorenzoMolena Contributor Loading…
Properties of OrderedCommRings
#1303 opened Apr 21, 2026 by LorenzoMolena Contributor Loading…
Comm ring solver improvement
#1293 opened Feb 17, 2026 by marcinjangrzybowski Contributor • Draft
4
Define multicategories
#1278 opened Nov 24, 2025 by anshwad10 Contributor • Draft
Heap
#1277 opened Nov 22, 2025 by anshwad10 Contributor Loading…
Enriched Orders
#1255 opened Aug 27, 2025 by anshwad10 Contributor • Draft
New notion of equivalence: Bijective relations
#1252 opened Aug 20, 2025 by anshwad10 Contributor Loading…
14
Improvements to Univalence.agda
#1237 opened Jul 27, 2025 by anshwad10 Contributor • Draft
7
Prime (and composite) numbers
#1228 opened Jul 16, 2025 by qlbrpl Loading…
@felixwellen
19
Antithesis translation and double-negation translation
#1216 opened Jun 18, 2025 by anshwad10 Contributor • Draft
Distributive Laws of Monadic Containers
#1213 opened Jun 5, 2025 by stefaniatadama • Draft
Make join-assoc level-polymorphic
#1204 opened May 5, 2025 by ricky136973 Loading…
5
Some properties of connected spaces
#1202 opened Mar 7, 2025 by phijor Contributor Loading…
5
Book cauchy reals
#1182 opened Jan 22, 2025 by marcinjangrzybowski Contributor • Draft
13
Lie algebra properties of Whitehead products
#1170 opened Nov 15, 2024 by aljungstrom Contributor Loading…
Polynomials over rings with decidable equality
#1169 opened Nov 14, 2024 by felixwellen Collaborator • Draft
MaxZX
#1167 opened Nov 12, 2024 by FranziskusWiesnet • Draft
4
Determinant and Adjugate Matrix
#1165 opened Oct 30, 2024 by FranziskusWiesnet Loading…
@felixwellen
28
Categories of propositions and sieves
#1163 opened Oct 28, 2024 by anuyts Contributor • Draft
3
Clean up code in BinProduct.
#1159 opened Oct 21, 2024 by anuyts Contributor Loading…
3
Univalent Category of SETOIDs , Setoids are not LCCC
#1152 opened Sep 2, 2024 by marcinjangrzybowski Contributor • Draft
@maxsnew
6
ProTip! Mix and match filters to narrow down what you’re looking for.
Morty Proxy This is a proxified and sanitized view of the page, visit original site.