ice1k/ConsHoTT

Issues

• Write about Arend's syntactical homotopy truncation

  #7 opened 5 years ago by ice1000
  0

• Write about the proof of univalence in HoTT-I

  #6 opened 5 years ago by ice1000
  0

• Write about the Glue structure in CTT

  #5 opened 5 years ago by ice1000
  0

• Write about transp and transpX in cubical agda

  #4 opened 5 years ago by ice1000
  0

• CI for upstream PDF artifacts?

  #2 opened 5 years ago by anqurvanillapy
  0