Code

Simpler proof of naturality square#3

Code

Merged

PHart3 merged 6 commits intomainPHart3/colimits-agda:mainfrom simpler_eqPHart3/colimits-agda:simpler_eqCopy head branch name to clipboardOct 26, 2024

+3,356-3,178

Commits

Commits on Oct 25, 2024

• adding simpler proof of pre-cmp nat square

  PHart3

  committed
  e6952de

  Copy full SHA for e6952de

• more clean up and rearranging

  PHart3

  committed
  103b025

  Copy full SHA for 103b025

• fixed scope errors and updated README

  PHart3

  committed
  2667ff1

  Copy full SHA for 2667ff1

• trying v1 again

  PHart3

  committed
  2b19ff0

  Copy full SHA for 2b19ff0

• fix happy version

  PHart3

  committed
  db96650

  Copy full SHA for db96650

Commits on Oct 26, 2024

• some workflow optimizations

  PHart3

  committed
  3dbb8d5

  Copy full SHA for 3dbb8d5