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)