Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


The Coq Effective Algebra Library

Keyword: Proof assistant

Functional Description: This library contains formal developments in algebra and optimized algorithms on mathcomp data structures and a framework to ease change of data representation during a proof.

Release Functional Description: First release