3,576 followers José A. Alonso @Jose_A_Alonso Hammering floating-point arithmetic. ~ Olle Torstensson, Tjark Weber. https://t.co/HAdZikBsPy #ITP #IsabelleHOL 19 Sep 2023 Reply Repost Favourite