Code

Use : Set explicitly when needed#971

Code

Merged

ppedrot merged 1 commit intoMetaCoq:mainMetaCoq/metacoq:mainfrom SkySkimmer:comind-level-computeSkySkimmer/metacoq:comind-level-computeCopy head branch name to clipboardJul 5, 2023

+8-8

Commits

Commits on Jul 4, 2023

• Use : Set explicitly when needed

  Show description for 92de04b
  SkySkimmer

  committed
  92de04b

  Copy full SHA for 92de04b