アカウント名:
パスワード:
ファイルシステムをCoqで書いたんだとさ
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲは一日にしてならず -- アレゲ研究家
証明 (スコア:0)
ファイルシステムをCoqで書いたんだとさ