Code

remove NullHomotopy from STYLE.md#2160

Code

Merged

Alizter merged 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/remove_nullhomotopy_from_style_mdAlizter/HoTT:ps/rr/remove_nullhomotopy_from_style_mdCopy head branch name to clipboardDec 19, 2024

+4-5

Commits

Commits on Dec 19, 2024

• remove NullHomotopy from STYLE.md

  Show description for 47e2e93
  Alizter

  committed
  47e2e93

  Copy full SHA for 47e2e93