create new_func.py

[mmsaki]

Trying to make progress

[formal-mind-agent]

Thanks for opening a new PR! Please follow our contributing guidelines to make your PR easier to review.

Want me to add a proof for the new function you added?

def prove_this(name: str):
  if name == "agent":
    return true
  else:
    return false

Suggestion

We need to add the types to you function first to this

• Add return type

def prove_this(name: str) -> bool:
  if name == "agent":
    return true
  else:
    return false

@mmsaki Do you want me to add function description to help the formal agent have context about what this function does?

Here's what I can help with:

• Add desctiption
• Add function signature
• Create formal proof scaffolds

[mmsaki]

hey agent, this is not even valid python 😂, Capitalize True and False

def prove_this(name: str):
    if name == "agent":
        return True
    else:
        return False