Code

Generic sets mathcomp2#108

Code

Draft

affeldt-aist wants to merge 5 commits intomastermath-comp/finmap:masterfrom generic_sets_mathcomp2math-comp/finmap:generic_sets_mathcomp2Copy head branch name to clipboard

+86-69

Commits

Commits on May 18, 2023

• Add vos/vok to gitignore

  

  proux01

  authored and

  affeldt-aist

  committed
  eb04492

  Copy full SHA for eb04492

• update infra for MathComp 2

  Show description for c17f76a
  

  affeldt-aist

  and

  proux01

  committed
  c17f76a

  Copy full SHA for c17f76a

• port finmap.v to MathComp 2

  Show description for d544ab1
  

  affeldt-aist

  and

  proux01

  committed
  d544ab1

  Copy full SHA for d544ab1

• rm generic sets

  affeldt-aist

  committed
  c31eefa

  Copy full SHA for c31eefa

• port set.v to MathComp 2

  affeldt-aist

  committed
  3837d3b

  Copy full SHA for 3837d3b