blob: 54d3cfc3eb0f54e657d05ea380326b2598ec874a (
plain)
1
2
3
4
|
Require Coq.ZArith.BinInt.
Definition foo0 := Eval vm_compute in Coq.ZArith.BinInt.Z.div_eucl.
Definition foo1 := Eval vm_compute in Coq.ZArith.BinInt.Z.div_eucl.
Definition foo2 := Eval vm_compute in Coq.ZArith.BinInt.Z.div_eucl.
|
