Title: Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Subjects: Floating point arithmetic, Formalism, Standards