MathComp.tuple

swMATH21575MaRDI QIDQ33381FDOQ33381

Author name not available (Why is that?)

Official website: http://ssr.msr-inria.inria.fr/doc/mathcomp-1.5/MathComp.tuple.html

Cited In (2)

• From Sets to Bits in Coq
• Ssreflect.fintype

This page was built for software: MathComp.tuple