Expressivity of Lean Formalisms
Main Author: | Pulman, S |
---|---|
Format: | Book section |
Published: |
1994
|
Similar Items
-
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Formalizing mathematics in LEAN
by: Liu, Yufei
Published: (2024)