0

coq で基本ライブラリをインポート解除または非表示にする方法はありますか?

4

1 に答える 1

1

またはに渡す-noisことで、標準ライブラリのインクルードを回避できます。coqtopcoqc

別の初期状態を作成することもできます (これを に渡すことができます-is。これには、それを行うためのコードがいくつかあります (他に興味深いものは何もありません)。

于 2012-03-31T05:20:07.730 に答える