Coq Interval

MaRDI QIDQ40141swMATHFDO

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