Code

Experiments/forms#2

Code

Open

LaurenceRideau wants to merge 2 commits intomath-comp:mastermath-comp/odd-order:masterfrom LaurenceRideau:experiments/formsLaurenceRideau/odd-order:experiments/formsCopy head branch name to clipboard

+818-692

Commits

Commits on Sep 3, 2018

• adapting to forms

  LaurenceRideau

  committed
  a8f6936

  Copy full SHA for a8f6936

Commits on Sep 10, 2018

• PF*.v adaptation to forms and classun

  LaurenceRideau

  committed
  fc9551c

  Copy full SHA for fc9551c