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

1: pekee-nuee-nuee 2025/08/30 08:59