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)