新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています

新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ…

このサイトの記事を見る