Submission Details

Back to Submissions List

Challenge: Falsuehood

Submitted by: blizzard_inc

Submitted at: 2024-11-15 18:17:07

Code:

def not_so_empty_now : Empty :=

sorry

First Theorem Proof:

theorem inconsistent : False :=

sorry

Status: Incorrect

Feedback:

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