1熱
2答えて
2熱
1答えて
0熱
2答えて
4熱
1答えて
がcoqideを使用して、コマンドは `インポートBigN`は8.6 COQ使用して働いていた必要とするが、CoQは8.7
5熱
2答えて
3熱
1答えて
なぜcoqideで_CoqProjectを使って `make 'するのがコマンドラインで` coqc`と違うのですか?
2熱
3答えて
2熱
1答えて
`remember(f x)と等価です。y eqn:H; Hをクリアする。クリアx?
6熱
1答えて