akyさんのページ

同じ著者の本を何冊か持っていて、どれも非常に良い。原著を読んでも良いが、やはり日本語のほうが楽。

proof assistant を作成する上での参考にしたい。