定理証明系、はじめました

とりあえずCoqをインストールしていくつか証明を書いたのでそのメモ。
分かりやすい参考文献集

PDP-11の逆アセンブラ、インタプリタを実装したい

池袋バイナリ勉強会の資料が中々分かりやすい感じなので、実装してみようと思った。