Expressivity of Lean Formalisms
Autor Principal: | Pulman, S |
---|---|
Formato: | Book section |
Publicado: |
1994
|
Títulos similares
-
Expressivity of Lean Formalisms
por: Pulman, S
Publicado: (1994) -
Expressivity of Lean Formalisms
por: Pulman, S
Publicado: (1994) -
Expressivity of Lean Formalisms
por: Pulman, S
Publicado: (1994) -
Expressivity of Lean Formalisms
por: Pulman, S
Publicado: (1994) -
Formalizing mathematics in LEAN
por: Liu, Yufei
Publicado: (2024)