Pinned
本日発売！ 私がレビューした本が本日発売されます！
プログラミングと証明に興味がある人にかなりおすすめの一冊です
今回登場するトピックは「整数の足し算・引き算・掛け算・不等号」なので、「数学とか証明に興味はあるけど、あんまり自信ないなぁ」という人も、気兼ねなくお買い求めください
お知らせを公開しました "新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています lambdanote.com/blogs/news/lean
