Skip to content

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801)#1980

Merged
andres-erbsen merged 1 commit intomit-plv:masterfrom andres-erbsen:less-ZArith_baseNov 3, 2024
+1-1

Commits

Commits on Nov 3, 2024