The Coq Proof Assistant

Frédéric Blanqui is pleased to announce a new release of CoLoR.
You can download it and find more details on http://color.loria.fr/.
The most important new features are:

• arctic matrix interpretations [Koprowski, Waldmann]
• strongly connected components of a graph [Ducas]
• decomposition of a termination problem into sub-problems using the SCC decomposition of its dependency graph [Ducas]
• some support for classical reasoning [Blanqui]

enjoy!