Expressivity of Lean Formalisms
Váldodahkki: | Pulman, S |
---|---|
Materiálatiipa: | Book section |
Almmustuhtton: |
1994
|
Geahča maid
-
Expressivity of Lean Formalisms
Dahkki: Pulman, S
Almmustuhtton: (1994) -
Expressivity of Lean Formalisms
Dahkki: Pulman, S
Almmustuhtton: (1994) -
Expressivity of Lean Formalisms
Dahkki: Pulman, S
Almmustuhtton: (1994) -
Expressivity of Lean Formalisms
Dahkki: Pulman, S
Almmustuhtton: (1994) -
Formalizing mathematics in LEAN
Dahkki: Liu, Yufei
Almmustuhtton: (2024)