A Refinement-Based Approach to Computational Algebra in Coq.

Maxime Dns, Anders Mrtberg, Vincent Siles

Browse the full ITP paper archive.