GitHub repository: Barbichu/CoqEAL
Primary language: Coq
Description: CoqEAL -- The Coq Effective Algebra Library