Code

Adapt wrt Coq/Coq#18164#1011

Code

Merged

ppedrot merged 1 commit intoMetaCoq:mainMetaCoq/metacoq:mainfrom Villetaneuse:rm_arith_filesVilletaneuse/metacoq:rm_arith_filesCopy head branch name to clipboardNov 21, 2023

+2-2

Commits

Commits on Nov 21, 2023

• Adapt wrt coq/coq#18164

  

  Villetaneuse

  authored and

  ppedrot

  committed
  73b1a26

  Copy full SHA for 73b1a26