今日、現場の昼休みに、最近噂の Coq のチュートリアルを見つけたので、早速インストールしてみる。
Fedora 15 でアプリケーションの追加と削除を開くと、Coq 8.3がリストアップされてきたので、チェックを入れて適用。
さらに、端末を開いて coqide と打ち込んでみると、ひとしきり追加のインストールが実行されたあと、CoqIDE が開いた。 とりあえず、チュートリアル 一回目の練習問題を解いてみるが、初回なんで難しくない。
結構面白い。明日もやろっと。
今日、現場の昼休みに、最近噂の Coq のチュートリアルを見つけたので、早速インストールしてみる。
Fedora 15 でアプリケーションの追加と削除を開くと、Coq 8.3がリストアップされてきたので、チェックを入れて適用。
さらに、端末を開いて coqide と打ち込んでみると、ひとしきり追加のインストールが実行されたあと、CoqIDE が開いた。 とりあえず、チュートリアル 一回目の練習問題を解いてみるが、初回なんで難しくない。
結構面白い。明日もやろっと。
プログラマーのブログ。2018年以降はプログラミングに関する感想とかポエムとか決めつけとか独断とかエモいこととか。まじめな技術記事はQiitaへ。
0 件のコメント:
コメントを投稿