Comment by Someone

1 month ago

No, it can tell you that 42 is the answer to (some lean statement), but not what question that lean statement encodes.

0 comments