67-5003-73 Exploring Formalisation 978-3-031-14648-0
仕様
- サブタイトル：A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- 著者：Löh, Clara
- 叢書名：Surveys and Tutorials in the Applied Mathematical Sciences
- Vol. 11
- 装丁：Paper
- 頁数他：VI, 147 p. 1 illus.
- 発行日：2022/09/25
- 分類：数学基礎論
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|