IEEE_Floating_Point

MaRDI QIDQ43932swMATHFDO

Authors Lei Yu, Fabian Hellauer, Fabian Immler, Tjark Weber

Publication date 27 July 2013

Official website https://www.isa-afp.org/entries/IEEE_Floating_Point.html

Cites work

• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(2)

• A parameterized floating-point formalizaton in HOL Light
• libclang

This page was built for software: IEEE_Floating_Point