Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 31, 2024

• Merge remote-tracking branch 'origin/master'

  aljungstrom

  committed
  f4745a2

  Copy full SHA for f4745a2

Commits on Jan 25, 2024

• Triangular numbers (agda#1044)

  Show description for 1c0396c
  felixwellen

  authored
  1c0396c

  Copy full SHA for 1c0396c

Commits on Jan 24, 2024

• Remove the bad constructor on coinductive types

  ice1000

  authored
  86b5233

  Copy full SHA for 86b5233

• Summary file/missing cohomology lemmas (agda#1092)

  Show description for 573426b
  aljungstrom

  authored
  573426b

  Copy full SHA for 573426b

Commits on Jan 16, 2024

• remove redundant third constructor to replacement (agda#1087)

  ecavallo

  authored
  e9cf5c6

  Copy full SHA for e9cf5c6

Commits on Dec 5, 2023

• add proof that Sigma preserves null types (agda#1085)

  awswan

  authored
  a35231d

  Copy full SHA for a35231d

Commits on Nov 21, 2023

• Sites, sheaves and sheafification as a QIT (agda#1031)

  Show description for bd6f5de
  MatthiasHu

  authored
  bd6f5de

  Copy full SHA for bd6f5de

Commits on Nov 17, 2023

• Category of groups, uniqness of adjunctions (agda#1065)

  Show description for e9b8b40
  marcinjangrzybowski

  authored
  e9b8b40

  Copy full SHA for e9b8b40

• opaque instead of abstract in QuotientAlgebra (agda#1078)

  Show description for 3b2a50a
  MatthiasHu

  authored
  3b2a50a

  Copy full SHA for 3b2a50a

Commits on Nov 15, 2023

• Add cabal.project so that cubical-utils also works as a submodule

  Show description for 65e550f
  andreasabel

  committed
  65e550f

  Copy full SHA for 65e550f

• Everythings.hs: explicit imports

  andreasabel

  committed
  532c00c

  Copy full SHA for 532c00c

• Bump cubical-utils to GHC 9.8

  andreasabel

  committed
  ac19a66

  Copy full SHA for ac19a66

Commits on Nov 9, 2023

• Some recursive Fin functions (agda#1077)

  Show description for 4de6b69
  dolio

  authored
  4de6b69

  Copy full SHA for 4de6b69

Commits on Nov 3, 2023

• A direct proof of univalence from uaβ and uaη (agda#1069)

  Show description for f8d6fcf
  phijor

  authored
  f8d6fcf

  Copy full SHA for f8d6fcf

Commits on Nov 2, 2023

• funExt is an equivalence. (agda#1070)

  Show description for e78ac78
  

  smimram

  and

  mortberg

  authored
  e78ac78

  Copy full SHA for e78ac78

• 'congR' and 'congL' (agda#1064)

  Show description for a847f25
  jhimes2

  authored
  a847f25

  Copy full SHA for a847f25

• Dependent Version of Bi-Invertible Equivalences (agda#1062)

  Show description for 2e45d12
  kangxyz

  authored
  2e45d12

  Copy full SHA for 2e45d12

• Rational order (agda#1071)

  Show description for c703c36
  LuuBluum

  authored
  c703c36

  Copy full SHA for c703c36

Commits on Oct 31, 2023

• Made substInPaths slightly more general by allowing A and B to be different levels (agda#1076)

  kesleta

  authored
  b3738bf

  Copy full SHA for b3738bf

Commits on Oct 30, 2023

• CI: bump GHC to recommended version (9.4.7) (agda#1075)

  andreasabel

  authored
  b822ba9

  Copy full SHA for b822ba9

• CI: set heap size to 6G (agda#1073)

  Show description for b0c105f
  felixwellen

  authored
  b0c105f

  Copy full SHA for b0c105f

Commits on Oct 27, 2023

• Whitehead's Lemma (agda#1067)

  Show description for abdb1f9
  owen-milner

  authored
  abdb1f9

  Copy full SHA for abdb1f9

• ℤ-Functors (agda#1068)

  Show description for 1196aad
  mzeuner

  authored
  1196aad

  Copy full SHA for 1196aad

Commits on Oct 24, 2023

• Release v0.6 for agda 2.6.4 (agda#1050)

  Show description for eb6a33c
  

  felixwellen

  and

  ncfavier

  authored
  eb6a33c

  Copy full SHA for eb6a33c

Commits on Oct 13, 2023

• Direct proof of uaOver from Glue types (agda#1066)

  phijor

  authored
  ad4c842

  Copy full SHA for ad4c842

Commits on Oct 2, 2023

• more connectivity lemmas (agda#1063)

  rwbarton

  authored
  5427228

  Copy full SHA for 5427228

Commits on Sep 25, 2023

• Gysin (agda#965)

  Show description for 0fc4a15
  

  aljungstrom

  and

  mortberg

  authored
  0fc4a15

  Copy full SHA for 0fc4a15

Commits on Sep 21, 2023

• Fix a minor grammar mistake in Structure.agda (agda#1060)

  ShreckYe

  authored
  4b91241

  Copy full SHA for 4b91241

Commits on Sep 18, 2023

• Filling Cubes in a Few Lines of Code (agda#1053)

  Show description for f3cf89d
  kangxyz

  authored
  f3cf89d

  Copy full SHA for f3cf89d

Commits on Sep 16, 2023

• Cardinality and Order (agda#969)

  Show description for 85f8a71
  LuuBluum

  authored
  85f8a71

  Copy full SHA for 85f8a71

• Reduced cohomology+Eilenberg-Steenrod axioms (agda#955)

  Show description for 7d47cf3
  

  aljungstrom

  and

  mortberg

  authored
  7d47cf3

  Copy full SHA for 7d47cf3

• Ganea's theorem (agda#1055)

  Show description for e9612e2
  aljungstrom

  authored
  e9612e2

  Copy full SHA for e9612e2

Commits on Sep 15, 2023

• Ordering over Int (agda#985)

  Show description for a2d7865
  

  LuuBluum

  and

  mortberg

  authored
  a2d7865

  Copy full SHA for a2d7865

• Generalize types of inspect idiom (agda#1041)

  dolio

  authored
  3202e38

  Copy full SHA for 3202e38

Commits on Sep 14, 2023

• Remove mentions of the Id type (agda#1005)

  plt-amy

  authored
  f697467

  Copy full SHA for f697467

Pagination

Previous

Next