我想证明一个小于Int.max_unsigned的Z类型值.
引理测试:10%Z <Int.max_unsigned.证明.?? 如何证明上述测试引理？
coq compcert
compcert ×1
coq ×1