【Lean4】if（条件分岐）

Plaintext

def isZeroMessage (n : Nat) : String :=
  if n == 0 then
    "zero"
  else
    "not zero"

def isZeroMessage (n : Nat) : String :=
  if n == 0 then
    "zero"
  else
    "not zero"

Lean4の関連記事