Coq: A program specification and mathematical higher-level language | Hacker News

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

		Coq: A program specification and mathematical higher-level language (inria.fr)
		8 points by wener on Feb 1, 2020 \| hide \| past \| favorite \| 2 comments

dang on Feb 1, 2020 | [–]

Dozens of previous threads: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

TheAsprngHacker on Feb 1, 2020 | [–]

Coq 8.11.0 was recently released: https://github.com/coq/coq/releases/tag/V8.11.0

This version introduces a new tactic language, Ltac2.

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