search

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44 stars 12 forks source link

Revert "NaiveExtExt implies WeakExtExt" #108

Closed jonweinb closed 1 year ago

jonweinb commented 1 year ago

Reverting the recent merge, there seems to be a problem with auto formatting

jonweinb commented 1 year ago

Read up on it in https://github.com/rzk-lang/sHoTT/pull/97; closing this