ゼロから始めるLean言語入門 手を動かして学ぶ形式数学ライブラリ開発

プログラミングと数学をつなぐ

著者

井上亜星

出版社

ラムダノート

発売日

2025-09-04

価格

3,200円（税込・書誌情報提供：openBD）

ISBN

9784908686214

ページ数

228ページ

発売済み