#LEAN4 | Mathlog

LEAN4

新着の記事

大学数学基礎解説

2021年4月10日

【LEAN4】structure

0

0

32

0

文献あり

大学数学基礎解説

2021年4月10日

【LEAN4】inductive type

1

0

427

0