Code

chore: Fix links in 100-theorems#1321

Code

Merged

fredrik-bakke merged 7 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:fix-100-theoremsfredrik-bakke/agda-unimath:fix-100-theoremsCopy head branch name to clipboardFeb 14, 2025

+62-54

Commits

Commits on Feb 13, 2025

• fix links 100-theorems?

  fredrik-bakke

  committed
  b26fb4a

  Copy full SHA for b26fb4a

• Merge branch 'master' into fix-100-theorems

  fredrik-bakke

  authored
  30b08d9

  Copy full SHA for 30b08d9

• remove problem links

  fredrik-bakke

  committed
  f7e9ff4

  Copy full SHA for f7e9ff4

Commits on Feb 14, 2025

• also hyperlink to specific entry in 100 theorems

  fredrik-bakke

  committed
  640dfd8

  Copy full SHA for 640dfd8

• Merge branch 'master' into fix-100-theorems

  fredrik-bakke

  authored
  5e4dfb0

  Copy full SHA for 5e4dfb0

• change casing of headers 100-theorems

  fredrik-bakke

  committed
  2c227a9

  Copy full SHA for 2c227a9

• typo

  fredrik-bakke

  committed
  bd0a064

  Copy full SHA for bd0a064