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…

Coq 8.11+beta1 is out
The first beta release of Coq 8.11 is available for testing. There are two main changes brought by Coq…
Managing the TICK Stack with Docker App
Docker Application eases the packaging and the distribution of a Docker Compose application. The TICK…
AWS IoT Greengrass 1.10 Now Supports Docker Containers
On November 25, 2019, AWS announced the release of AWS IoT Greengrass 1.10 allowing developers to package…
Announcing Ionic React Hooks
Last month we announced Ionic React, and have been blown away by the reception from both the Ionic community…
HHVM 4.34
HHVM 4.34 is released! This release marks the end of support for 4.28; 4.29–4.33 remain supported, as…
Black Friday Deals on Docker + Kubernetes Courses
In honor of Black Friday, America’s favorite shopping holiday, we’ve rounded up the best deals on Docker…
Post Comment