Submission Details

Back to Submissions List

Challenge: solveAdd

Submitted by: eric-wieser

Submitted at: 2024-11-15 11:35:30

Code:

import Init.Data.Int

def solveAdd (a b:Int): Int

("

First Theorem Proof:

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

", 37).2

Status: Incorrect

Feedback:

/tmp/tmpr4vgh4dh/code.lean:5:1: error: unterminated string literal