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)