All pull requests

Pull requests

• Serre Finiteness formalisation

  #1328·aljungstrom opened Sep 16, 2026Contributor·

  ·

• Simplify various proofs by taking advantage of the revised hcomp rule

  #1326·olympichek opened Sep 16, 2026·

  ·
  1

• Faster operations over Rationals

  #1324·LorenzoMolena opened Sep 6, 2026Contributor·

  ·
  1

• Normalised Q plus related

  #1313·reswatson opened Jun 17, 2026Contributor·

  ·
  54

• Comm ring solver improvement

  #1293·marcinjangrzybowski opened Feb 17, 2026Contributor·

  ·
  4

• Define multicategories

  #1278·anshwad10 opened Nov 24, 2025Contributor·

  ·

• Heap

  #1277·anshwad10 opened Nov 22, 2025Contributor·

  ·

• Enriched Orders

  #1255·anshwad10 opened Aug 27, 2025Contributor·

  ·

• New notion of equivalence: Bijective relations

  #1252·anshwad10 opened Aug 20, 2025Contributor·

  ·
  14

• Improvements to Univalence.agda

  #1237·anshwad10 opened Jul 27, 2025Contributor·

  ·
  7

• Prime (and composite) numbers

  #1228·qlbrpl opened Jul 16, 2025·

  ·
  19

  

• Antithesis translation and double-negation translation

  #1216·anshwad10 opened Jun 18, 2025Contributor·

  ·

• Distributive Laws of Monadic Containers

  #1213·stefaniatadama opened Jun 5, 2025·

  ·

• Make join-assoc level-polymorphic

  #1204·ricky136973 opened May 5, 2025·

  ·
  5

• Some properties of connected spaces

  #1202·phijor opened Mar 7, 2025Contributor·

  ·
  5

• Book cauchy reals

  #1182·marcinjangrzybowski opened Jan 22, 2025Contributor·

  ·
  13

• Lie algebra properties of Whitehead products

  #1170·aljungstrom opened Nov 15, 2024Contributor·

  ·

• Polynomials over rings with decidable equality

  #1169·felixwellen opened Nov 14, 2024Collaborator·

  ·

• MaxZX

  #1167·FranziskusWiesnet opened Nov 12, 2024Contributor·

  ·
  4

• Categories of propositions and sieves

  #1163·anuyts opened Oct 28, 2024Contributor·

  ·
  3

• Clean up code in BinProduct.

  #1159·anuyts opened Oct 21, 2024Contributor·

  ·
  3

• Univalent Category of SETOIDs , Setoids are not LCCC

  #1152·marcinjangrzybowski opened Sep 2, 2024Contributor·

  ·
  6

  

• Cubical reflection machinery and Solvers for Paths

  #1150·marcinjangrzybowski opened Aug 28, 2024Contributor·

  ·
  6

• Containers, no h-set assumptions

  #1141·aljungstrom opened Jul 23, 2024Contributor·

  ·
  2

• WildCat, Groupoid, Group - Solvers

  #1119·marcinjangrzybowski opened Mar 24, 2024Contributor·

  ·
  6