Fedora Scientificにcoqをインストールしましたが、snap install coq-proverコマンドを実行すると次のようになります。coqide
]1
私が読んだアイコンがインストールされていない問題であることはわかりませんが、gnome-icon-themeFedoraでこれを実行して正しい設定を設定する方法がわかりません。起動時に発生するエラーの1つは、他のアイコンを参照する同様のエラーが多いことcoqideです。Error loading theme icon 'go-up' for stock: Brak ikony „go-up” w motywie Adwaita