Skip to content
CI (Coq, MacOS)

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

Sign in to view logs

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

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

test-standalone (macos-13)

test-standalone (macos-13)
succeeded Nov 3, 2024 in 14s