類似資料
-
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)