Showing Item

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

井上亜星 著
Creator: 井上, 亜星, 1997- [A] Publisher: ラムダノート (Date of publication: 2025)

Item identifier: G00498

Binding item identifier:

Shelf: 🦊フォックスラボ (📖🦍Gorilla Eagle LIB🦅)

Checkout type: Book

Circulation status: Available On Shelf

Include supplements: No

Call number:
007.64 イノウ

URL:

Acquired at:

Binding call number:

Binded at:

Note:

Accepted at:

Created at: Mon, 28 Sep 2026 20:55:31 +0900

Updated at: Thu, 01 Oct 2026 13:03:22 +0900