solveAdd

write a function that, given integers a and b, returns an integer x such that a + x = b

Function Signature

import Init.Data.Int

def solveAdd (a b:Int): Int

Theorem Signature

theorem solveAdd_correct (a b: Int): a + (solveAdd a b) =b 

View All Submissions

Please log in or register to submit a solution for this challenge.