Comment by eru 2 hours ago You can't hallucinate a working lean proof. 1 comment eru Reply darkwater 12 minutes ago But you can hallucinate everything else.
But you can hallucinate everything else.