Submission Details

Back to Submissions List

Challenge: Falsuehood

Submitted by: Violeta Hernández Palacios

Submitted at: 2024-11-19 09:32:51

Code:

def not_so_empty_now : Empty :=

sorry

First Theorem Proof:

theorem inconsistent : False :=

sorry

Status: Incorrect

Feedback:

/tmp/tmpzrebdyn3/code.lean:4:4: warning: declaration uses 'sorry'