Code

Switch from 𝔽 to Finite-*#1312

Code

Merged

EgbertRijke merged 14 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:FFfredrik-bakke/agda-unimath:FFCopy head branch name to clipboardFeb 11, 2025

+5,342-4,778

Commits

Commits on Feb 9, 2025

• rename FF part 1

  fredrik-bakke

  committed
  a21aa0b

  Copy full SHA for a21aa0b

• rename FF part 2

  fredrik-bakke

  committed
  f9d1266

  Copy full SHA for f9d1266

• rename FF part 3

  fredrik-bakke

  committed
  1e5c52e

  Copy full SHA for 1e5c52e

• rename FF part 4

  fredrik-bakke

  committed
  78362bc

  Copy full SHA for 78362bc

• rename FF part 5/5

  fredrik-bakke

  committed
  08ed35a

  Copy full SHA for 08ed35a

• pre-commit

  fredrik-bakke

  committed
  b41ff39

  Copy full SHA for b41ff39

• wrap lines

  fredrik-bakke

  committed
  dd73e6c

  Copy full SHA for dd73e6c

• some names

  fredrik-bakke

  committed
  e09ddf6

  Copy full SHA for e09ddf6

• fix names for structures on finite types

  fredrik-bakke

  committed
  35085f4

  Copy full SHA for 35085f4

• Merge branch 'master' into FF

  fredrik-bakke

  authored
  7d5f969

  Copy full SHA for 7d5f969

Commits on Feb 10, 2025

• Update src/univalent-combinatorics/coproduct-types.lagda.md

  Show description for de76bae
  

  fredrik-bakke

  and

  EgbertRijke

  authored
  de76bae

  Copy full SHA for de76bae

• Decidable-Prop-Finite-Type

  fredrik-bakke

  committed
  6625e1b

  Copy full SHA for 6625e1b

• type-Decidable-Equivalence-Relation-Finite-Type

  fredrik-bakke

  committed
  be969dd

  Copy full SHA for be969dd

• Merge branch 'master' into FF

  fredrik-bakke

  authored
  895f9c7

  Copy full SHA for 895f9c7