Coq company blog

Coq 8.6 is out

coq.inria.fr

The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.

Points

151

HN comments

88

Submissions

1

Cited by

0 commenters

Software EngineeringProgramming Languages2016

Related posts from the same era

NPM and Left-Pad: Have We Forgotten How to Program?

DDavid Haney20161,725 points854 commentscited by 10 details

Yarn – A new package manager for JavaScript

MMeta Engineering Blog20161,714 points469 comments details

Sublime Text 3.0

Sublime Text Blog20171,653 points675 comments details

I've Just Liberated My Modules

Azer Koçulu20161,573 points797 commentscited by 10 details

Electron is flash for the desktop (2016)

Joseph Gentle20171,519 points1,179 commentscited by 9 details

Console.mihai();

Iincompleteness.me20151,445 points50 comments details