Victor A. Carrenõ

• Interpretation of IEEE-854 floating-point standard and definition in the HOL system