Section: New Software and Platforms
CoqEAL
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