Code

Sequences, uniform structures#2210

Code

Merged

jdchristensen merged 3 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom thchatzidiamantis:Sequences_UniformStructuresthchatzidiamantis/Coq-HoTT:Sequences_UniformStructuresCopy head branch name to clipboardFeb 1, 2025

+243-5

Commits

Commits on Jan 31, 2025

• Uniform structures

  thchatzidiamantis

  committed
  926cf8c

  Copy full SHA for 926cf8c

• Sequences

  thchatzidiamantis

  committed
  c557c79

  Copy full SHA for c557c79

Commits on Feb 1, 2025

• Fix scope, notation

  thchatzidiamantis

  committed
  e5faee1

  Copy full SHA for e5faee1