Coq Interval

swMATH28427MaRDI QIDQ40141FDOQ40141

Author name not available (Why is that?)

Official website: http://coq-interval.gforge.inria.fr/

Cited In (8)

• FPTaylor
• ValidSDP
• Formally verified approximations of definite integrals
• Practical bounds for a Dehn parental test
• FloPoCo
• cheeky
• hikmot
• Silq

This page was built for software: Coq Interval