Code

Containers, no h-set assumptions#1141

Code

Open

aljungstrom wants to merge 3 commits intoagda:masteragda/cubical:masterfrom aljungstrom:containersaljungstrom/cubical:containersCopy head branch name to clipboard

+490-179

Commits

Commits on Jul 12, 2024

• done

  aljungstrom

  committed
  1535bae

  Copy full SHA for 1535bae

Commits on Jul 18, 2024

• renaming

  aljungstrom

  committed
  9974807

  Copy full SHA for 9974807

Commits on Jul 23, 2024

• paper

  aljungstrom

  committed
  3ed52e3

  Copy full SHA for 3ed52e3