我正在学习python。
project是一个Project对象,在尝试访问其成员attributes.how之前需要创建它以访问成员属性。
class Project(object):
答案 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
希望这有帮助。