python中的类和属性/成员

时间:2018-03-21 04:13:09

标签: python python-3.x gitlab

我正在学习python。

project是一个Project对象,在尝试访问其成员attributes.how之前需要创建它以访问成员属性。

class Project(object):

1 个答案:

答案 0 :(得分:0)

您需要了解Python3中的类以及下面提供的信息来自&应该是found here.

以下是我认为可能有用的示例代码(文件附件):

theory CorrectBasicAdditionProof
  imports Main
begin

datatype nat = Zero | Suc nat

fun add :: "nat ⇒ nat ⇒ nat" where
"add Zero n = n" |
"add (Suc m) n = Suc(add m n)"

lemma add_02: "add m Zero = m"
apply(induction m)
apply(auto)
  done
end

希望这有帮助。