問題タブ [logical-foundations]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
47 問題
0
投票する
1
に答える
32
参照
coq - Require Import coq ライブラリの後の bool と Datatypes.bool の混同
2
私はソフトウェア基盤を調べていて、エラーに遭遇しました。( https://softwarefoundations.cis.upenn.edu/lf-current/Maps.html )
証明の例:
エラー: 環境内 x : string y : string 用語 "eqb_string x y" の型は "bool" ですが、型は "Datatypes.bool" であると予想されます。
続行する方法に関するヒントはありますか？