Diary over Finite Fields

515ひかるの日記と雑文

2015-10-20から1日間の記事一覧

Coq と Proof general をインストールした

せっかく Antergos をインストールしたのだからもっとそれっぽい話でも増やすべきなのかもしれないが, 今の所特に思い浮かんでいない. こんにちは515ひかるです.なんか壁にぶち当たって解決したら記事にしようかと思っているのだけれど, そもそも壁にぶち当…