Code

biproducts#2016

Code

Open

Alizter wants to merge 8 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/biproductsAlizter/HoTT:ps/rr/biproductsCopy head branch name to clipboard

+950

Commits

Commits on Jul 5, 2024

• biproducts

  Show description for 1d8d527
  Alizter

  committed
  1d8d527

  Copy full SHA for 1d8d527

Commits on Jul 6, 2024

• Merge remote-tracking branch 'origin/master' into ps/rr/biproducts

  Alizter

  committed
  b3007fd

  Copy full SHA for b3007fd

• fix after merge

  Show description for 781896f
  Alizter

  committed
  781896f

  Copy full SHA for 781896f

Commits on Jul 10, 2024

• remove long comment

  Show description for ef97cf8
  Alizter

  committed
  ef97cf8

  Copy full SHA for ef97cf8

Commits on Aug 31, 2024

• Merge branch 'master' into ps/rr/biproducts

  Alizter

  authored
  720ac8f

  Copy full SHA for 720ac8f

• fix cat_binbiprod_codiag_fmap11

  Show description for 963a407
  Alizter

  committed
  963a407

  Copy full SHA for 963a407

Commits on Sep 12, 2024

• Merge branch 'master' into ps/rr/biproducts

  Alizter

  authored
  3266da5

  Copy full SHA for 3266da5

Commits on Oct 5, 2024

• Merge branch 'master' into ps/rr/biproducts

  Alizter

  authored
  0009e18

  Copy full SHA for 0009e18