Code

test for step 0 of CoREACT#357

Code

Draft

gares wants to merge 10 commits intomastermath-comp/hierarchy-builder:masterfrom CoREACTmath-comp/hierarchy-builder:CoREACTCopy head branch name to clipboard

+100

Commits

Commits on Jun 2, 2023

• test for step 0 of CoREACT

  gares

  committed
  6f1dee6

  Copy full SHA for 6f1dee6

• update

  gares

  committed
  1ceb6ea

  Copy full SHA for 1ceb6ea

• more

  gares

  committed
  f6c1970

  Copy full SHA for f6c1970

• more

  gares

  committed
  17d6561

  Copy full SHA for 17d6561

Commits on Jun 19, 2023

• Update tests/monoid_enriched_cat.v

  CohenCyril

  authored
  d2bc00f

  Copy full SHA for d2bc00f

• Update tests/monoid_enriched_cat.v

  CohenCyril

  authored
  6726472

  Copy full SHA for 6726472

• Update tests/monoid_enriched_cat.v

  CohenCyril

  authored
  0821793

  Copy full SHA for 0821793

• Update tests/monoid_enriched_cat.v

  CohenCyril

  authored
  234e3f5

  Copy full SHA for 234e3f5

• Update tests/monoid_enriched_cat.v

  CohenCyril

  authored
  92e1f68

  Copy full SHA for 92e1f68

• Update tests/monoid_enriched_cat.v

  CohenCyril

  authored
  b7f3789

  Copy full SHA for b7f3789