Expressivity of Lean Formalisms
Auteur principal: | Pulman, S |
---|---|
Format: | Book section |
Publié: |
1994
|
Documents similaires
-
Expressivity of Lean Formalisms
par: Pulman, S
Publié: (1994) -
Expressivity of Lean Formalisms
par: Pulman, S
Publié: (1994) -
Expressivity of Lean Formalisms
par: Pulman, S
Publié: (1994) -
Expressivity of Lean Formalisms
par: Pulman, S
Publié: (1994) -
Formalizing mathematics in LEAN
par: Liu, Yufei
Publié: (2024)