python中的类和属性/成员

Question

我正在学习python。

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

class Project（object）：

Answer 1

您需要了解Python3中的类以及下面提供的信息来自＆amp;应该是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

希望这有帮助。