Expressivity of Lean Formalisms
Príomhchruthaitheoir: | Pulman, S |
---|---|
Formáid: | Book section |
Foilsithe / Cruthaithe: |
1994
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Expressivity of Lean Formalisms
de réir: Pulman, S
Foilsithe / Cruthaithe: (1994) -
Expressivity of Lean Formalisms
de réir: Pulman, S
Foilsithe / Cruthaithe: (1994) -
Expressivity of Lean Formalisms
de réir: Pulman, S
Foilsithe / Cruthaithe: (1994) -
Expressivity of Lean Formalisms
de réir: Pulman, S
Foilsithe / Cruthaithe: (1994) -
Formalizing mathematics in LEAN
de réir: Liu, Yufei
Foilsithe / Cruthaithe: (2024)