i think they were joking, but i can't prove it | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		lohfu on July 1, 2024 \| parent \| context \| favorite \| on: A proof of proof by infinite descent i think they were joking, but i can't prove it

taneq on July 3, 2024 | [–]

Unfortunately the margin is too small to contain it.

lisper on July 2, 2024 | [–]

Maybe -i can.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact