Expressivity of Lean Formalisms
Hoofdauteur: | Pulman, S |
---|---|
Formaat: | Book section |
Gepubliceerd in: |
1994
|
Gelijkaardige items
-
Expressivity of Lean Formalisms
door: Pulman, S
Gepubliceerd in: (1994) -
Expressivity of Lean Formalisms
door: Pulman, S
Gepubliceerd in: (1994) -
Expressivity of Lean Formalisms
door: Pulman, S
Gepubliceerd in: (1994) -
Expressivity of Lean Formalisms
door: Pulman, S
Gepubliceerd in: (1994) -
Formalizing mathematics in LEAN
door: Liu, Yufei
Gepubliceerd in: (2024)