Falsuehood

the previous challenge didn't compile. as such, here is a new one ;-)

Function Signature

def not_so_empty_now : Empty :=

Theorem Signature

theorem inconsistent : False :=

View All Submissions

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