A Coq Formalization of Finitely Presented Modules.

Cyril Cohen, Anders Mrtberg

Browse the full ITP paper archive.