| ▲ | eru 2 hours ago | |
You can't hallucinate a working lean proof. | ||
| ▲ | darkwater an hour ago | parent [-] | |
But you can hallucinate everything else. | ||
| ▲ | eru 2 hours ago | |
You can't hallucinate a working lean proof. | ||
| ▲ | darkwater an hour ago | parent [-] | |
But you can hallucinate everything else. | ||