Expressivity of Lean Formalisms
المؤلف الرئيسي: | Pulman, S |
---|---|
التنسيق: | Book section |
منشور في: |
1994
|
مواد مشابهة
-
Expressivity of Lean Formalisms
حسب: Pulman, S
منشور في: (1994) -
Expressivity of Lean Formalisms
حسب: Pulman, S
منشور في: (1994) -
Expressivity of Lean Formalisms
حسب: Pulman, S
منشور في: (1994) -
Expressivity of Lean Formalisms
حسب: Pulman, S
منشور في: (1994) -
Formalizing mathematics in LEAN
حسب: Liu, Yufei
منشور في: (2024)