Coq 8.10.2 is out

The 8.10.2 release of Coq is available. Main changes: Fixed a critical bug of template polymorphism and nonlinear universes Fixed a few anomalies Fixed an 8.10 regression related to the printing of coercions associated to notations Fixed uneven dimensions of CoqIDE panels when window has been resized…

Managing Deep Links with URLgenius
The following is a guest post from our friends over at URLgenius, a cloud-based service for helping…
DockerCon LIVE is here!
DockerCon LIVE 2020 is about to kick off and there are over 64,000 community members, users and customers…
Shortening the developer commute with Docker and Microsoft…
Do you remember the first time you used Docker? I do. It was about six years ago and like many folks…
HHVM 4.59
HHVM 4.59 is released! This release marks the end of support for 4.53; HHVM 4.54–4.58 remain supported,…
v2.2-dev8
HAProxy 2.2-dev8
Announcing Ioniconf 2020
It’s finally happening! The moment that’s been talked about, questioned, speculated, humbly requested,…
Post Comment