We detached this comment from https://news.ycombinator.com/item?id=18513636 and ... | Hacker News

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

		dang on Nov 23, 2018 \| parent \| context \| favorite \| on: Formalizing 100 Theorems We detached this comment from https://news.ycombinator.com/item?id=18513636 and marked it off-topic.

yesenadam on Nov 23, 2018 [–]

uh That seems odd, right? Thats the url of this whole page. Please don't post like this again. :-)

dang on Nov 23, 2018 | [–]

Whoops, that was a bug at our end. Sorry!

yesenadam on Nov 23, 2018 | | [–]

Sorry for being so cheeky.

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