Code

Weak FunExt implies FunExt#145

Code

Merged

emilyriehl merged 8 commits intorzk-lang:mainrzk-lang/sHoTT:mainfrom thchatzidiamantis:Contractiblethchatzidiamantis/sHoTT:ContractibleCopy head branch name to clipboardJul 30, 2024

+143-1

Commits

Commits on Jul 22, 2024

• weak funext implies funext

  thchatzidiamantis

  committed
  327e2f8

  Copy full SHA for 327e2f8

• Merge branch 'rzk-lang:main' into Contractible

  thchatzidiamantis

  authored
  6bc3790

  Copy full SHA for 6bc3790

Commits on Jul 23, 2024

• Update src/hott/08-families-of-maps.rzk.md

  Show description for 8bf2fbe
  

  thchatzidiamantis

  and

  fizruk

  authored
  8bf2fbe

  Copy full SHA for 8bf2fbe

• formatting

  thchatzidiamantis

  committed
  ecf426a

  Copy full SHA for ecf426a

• formatting

  thchatzidiamantis

  committed
  e6251e7

  Copy full SHA for e6251e7

Commits on Jul 25, 2024

• minor formatting fix

  emilyriehl

  committed
  302e872

  Copy full SHA for 302e872

• exposition

  thchatzidiamantis

  committed
  0ffbec6

  Copy full SHA for 0ffbec6

Commits on Jul 30, 2024

• renaming

  emilyriehl

  committed
  4f3b195

  Copy full SHA for 4f3b195