Coq Will Be Renamed | Hacker News

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

		[dupe] Coq Will Be Renamed (lambda-the-ultimate.org)
		45 points by tmfi on April 8, 2021 \| hide \| past \| favorite \| 1 comment

dang on April 8, 2021 [–]

Comments moved to https://news.ycombinator.com/item?id=26738980.

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