Expressivity of Lean Formalisms
Egile nagusia: | Pulman, S |
---|---|
Formatua: | Book section |
Argitaratua: |
1994
|
Antzeko izenburuak
-
Expressivity of Lean Formalisms
nork: Pulman, S
Argitaratua: (1994) -
Expressivity of Lean Formalisms
nork: Pulman, S
Argitaratua: (1994) -
Expressivity of Lean Formalisms
nork: Pulman, S
Argitaratua: (1994) -
Expressivity of Lean Formalisms
nork: Pulman, S
Argitaratua: (1994) -
Formalizing mathematics in LEAN
nork: Liu, Yufei
Argitaratua: (2024)