Expressivity of Lean Formalisms
Autor principal: | Pulman, S |
---|---|
Format: | Book section |
Publicat: |
1994
|
Ítems similars
-
Expressivity of Lean Formalisms
per: Pulman, S
Publicat: (1994) -
Expressivity of Lean Formalisms
per: Pulman, S
Publicat: (1994) -
Expressivity of Lean Formalisms
per: Pulman, S
Publicat: (1994) -
Expressivity of Lean Formalisms
per: Pulman, S
Publicat: (1994) -
Formalizing mathematics in LEAN
per: Liu, Yufei
Publicat: (2024)