Code

Add editorial board#353

Code

Open

ybertot wants to merge 2 commits intocoq:maincoq/platform:mainfrom ybertot:add-editorial-boardybertot/platform:add-editorial-boardCopy head branch name to clipboard

+7-1

Commits

Commits on Jul 18, 2023

• Adds mentions to an editorial board, with the names of its members

  ybertot

  committed
  fbabbf7

  Copy full SHA for fbabbf7

• cosmetics

  ybertot

  committed
  f86ddb1

  Copy full SHA for f86ddb1