Cardinalities of Finite Relations in Coq.

Paul Brunet, Damien Pous, Insa Stucke

Browse the full ITP paper archive.