Comment by Someone

2 days 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