from imandra.u.reasoners import Client

# Create a client for Imandra. A full list of available reasoners can be found at https://universe.imandra.ai/gallery
# client = Client("imandrax", api_key="...")
# API key will be taken from the IMANDRA_API_KEY environment variable if ommitted.
client = Client("imandrax")

# Specify your input problem in the appropriate format:
input = "let f x = x + 1\nverify(fun x -> f x > x)"

# Use Imandra Universe to reason through the problem
result = client.eval(input)

# Extract the reasoning results
print(result['results'][0])