Code

3.1 sets and n-types#15

Code

Merged

fizruk merged 3 commits into2.4-homotopies-are-equivalencesrzk-lang/hottbook:2.4-homotopies-are-equivalencesfrom 3.1-sets-and-n-typesrzk-lang/hottbook:3.1-sets-and-n-typesCopy head branch name to clipboardDec 13, 2023

+170

Commits

Commits on Nov 27, 2023

• Add 2.8 and 3.1.2

  eyihluyc

  committed
  5d73a28

  Copy full SHA for 5d73a28

Commits on Dec 12, 2023

• Improve is-set-Unit

  eyihluyc

  committed
  80f3c7f

  Copy full SHA for 80f3c7f

• Add is-set-prod (2.6.2 and 3.1.5)

  eyihluyc

  committed
  49038fd

  Copy full SHA for 49038fd