coq の自然数 (nat) には関数 beq_nat がありますが、整数 Z (ZArith 内) に同様の関数はありますか?
そして将来的には、Stackoverflow に尋ねることなく、どうすればそのような質問に対する答えを見つけることができるでしょうか?
1 に答える
5
Z.eqb標準ライブラリに関数があります。モジュールZArithtp を必ずインポートして使用してください。
残念ながら、標準ライブラリのドキュメントを閲覧する以外に、これを見つけるためのリソースを知りません...
于 2013-10-24T19:07:36.367 に答える