Ssreflect.fintype

MaRDI QIDQ33380swMATHFDO

Official website http://ssr.msr-inria.inria.fr/doc/ssreflect-1.5/Ssreflect.fintype.html

Cited in

(2)

• MathComp.tuple
• From Sets to Bits in Coq

This page was built for software: Ssreflect.fintype