solveAdd0

write a function that, given integer a, returns an integer x such that a + x = 0

Function Signature

import Init.Data.Int

def solveAdd0(a:Int): Int

Theorem Signature

theorem solveAdd0_correct(a: Int): a +(solveAdd0 a)=0

View All Submissions

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