coqide

0熱

2答えて

CoqIDEでリセットが動作しない

Reset <sectionname>.でもReset <globalconstant>.でもReset Initial.もCoqIDEインタラクティブセッションで動作しません。メッセージは、私が仕事に見てきた Error: Use CoqIDE navigation instead のみReset sがReset Extraction Blacklist.とReset Extraction

coq coqide 2016-03-26

---