Expressivity of Lean Formalisms
主要作者: | Pulman, S |
---|---|
格式: | Book section |
出版: |
1994
|
相似書籍
-
Expressivity of Lean Formalisms
由: Pulman, S
出版: (1994) -
Expressivity of Lean Formalisms
由: Pulman, S
出版: (1994) -
Expressivity of Lean Formalisms
由: Pulman, S
出版: (1994) -
Expressivity of Lean Formalisms
由: Pulman, S
出版: (1994) -
Formalizing mathematics in LEAN
由: Liu, Yufei
出版: (2024)