Expressivity of Lean Formalisms
Autor principal: | Pulman, S |
---|---|
Formato: | Book section |
Publicado em: |
1994
|
Registos relacionados
-
Expressivity of Lean Formalisms
Por: Pulman, S
Publicado em: (1994) -
Expressivity of Lean Formalisms
Por: Pulman, S
Publicado em: (1994) -
Expressivity of Lean Formalisms
Por: Pulman, S
Publicado em: (1994) -
Expressivity of Lean Formalisms
Por: Pulman, S
Publicado em: (1994) -
Formalizing mathematics in LEAN
Por: Liu, Yufei
Publicado em: (2024)